Behavioral equivalence harness: record what your code really does, replay it against an AI rewrite, and prove nothing changed. Verifier is deterministic - no model inside.
Translate COBOL to Python. Zero dependencies, 100% valid output on 5,288 files. Handles EXEC SQL/CICS/DLI, REDEFINES aliasing, GO TO, nested programs, SCREEN SECTION, and 50+ verbs. MCP server included.
