#verification

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

Deterministic, evidence-based build harness for autonomous coding agents — FSM sprint gates, execution-evidence verification, and adversarial critics. Proof, not opinion.

该仓库未发布描述。

TraceOn is an MCP server that Claude Code calls after editing code to verify the change actually works end-to-end. It runs a Playwright test the agent wrote, correlates browser evidence with backend traces and logs via OpenTelemetry, ranks the evidence into a compact packet, and returns a structured VerificationResult that the agent reasons over.

Validate_email verify if an email address is valid and really exists