"author:fabs133" matching MCP servers:

Enables MCP clients to run deterministic checks on text inputs: validating a spec, checking tests against it, and checking an implementation's source, all by parsing Python without executing it. The client supplies the model while the server validates, verifies, and reports structured verdicts, problems, and violations.