This is the API documentation for semcheck-0.2.0 Documentation.