Claude/echidna mcp#37

Merged

hyperpolymath merged 10 commits intomainfrom

claude/echidna-mcp

Apr 25, 2026

Commits on Apr 22, 2026

feat(mcp): add echidna-mcp server so AI agents can call ECHIDNA as a tool
claude
committed
security(deps): bump capnp 0.20 -> 0.25 (RUSTSEC-2025-0143)
claude
committed
fix(provers): stop verify_proof from round-tripping through lossy IR
claude
committed
fix(provers): PVS/HOL4 stop reporting fake success
claude
committed
feat(container): add Containerfile.mcp — agent-callable ECHIDNA MVP
claude
committed
fix(provers): apply source_path/content pattern to 5 more backends
claude
committed
fix(provers): extend source_path pattern to 32 remaining lossy backends
claude
committed

Commits on Apr 23, 2026

Commits on Apr 25, 2026

Merge branch 'main' into claude/echidna-mcp
hyperpolymath
authored