"author:davidscode404" matching MCP servers:

Enables AI agents to load, inspect, test, and repair machine-checked cryptographic proof files by wrapping EasyCrypt's batch CLI in six tools that report open goals and diagnostics. Agents can try tactic snippets on temporary copies, then commit only the steps that check, while the file itself holds all proof state.