kotaroyamame/formal-agent-contracts

Formal methods toolkit for multi-agent development: define agent contracts in VDM-SL, generate Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verify specifications, auto-prove with Z3, derive database schemas (DDL) with deviation tracking and invariant traceability, generate code scaffolds with runtime contract checks, auto-generate contract tests from specs and design documents, run end-to-end integrated workflows, route each module to the lightest capable model tier to cut token cost (contract-driven model routing with verification-gated escalation), reverse-engineer specifications from existing code, import natural language specs to VDM-SL, and export human-readable specification documents. Includes an evaluation harness with benchmark tasks and exploratory comparative results (single-model, heuristic scoring; see eval/ for methodology and limitations).