#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