A
licenseNot graded
qualityC
maintenanceEnables coding agents to select bounded Python source context, run configured checks, and retrieve compact failure reports, diagnostic comparisons, and freshness evidence tied to the checked code.
MIT
alive2-mcp
by phongndo
Related Servers
Alternatives to alive2-mcp
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityBmaintenanceEnables 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.Apache 2.0
- AlicenseAqualityCmaintenanceEnables running code against tests in an isolated sandbox to obtain PASS/FAIL verdicts with signed, offline-checkable certificates, and generating verified code with attached certificates after execution against derived tests.235 npmMIT
- AlicenseNot gradedqualityBmaintenanceEnables AI coding agents to submit code, files, or diffs for deterministic checks and optional re-verified LLM repair, returning cleaned code, structured findings, and a pass/fixed/reject verdict.MIT
- AlicenseNot gradedqualityDmaintenanceEnables automated LLM red teaming by submitting asynchronous test runs, retrieving aggregated metrics, and accessing artifacts.4CC BY-SA 4.0
- AlicenseNot gradedqualityCmaintenanceEnables users to run exposure audits, promotion gates, bank-health checks, counterexample hunts, and other verifier-backed tools on disposable data, returning inspectable certificates, SHA-256 receipts, and downloadable artifacts.AGPL 3.0
This server cannot be deployed
Maintenance
ActivityMaintained
ResponsivenessNo issues