This is the formal library checker for Singular. Just upload your library file and check your code. You will receive an output of hints, warnings and/or errors, which help you to improve your library.