**Your agent says it proved the theorem. Did anything actually check?** Six verification tools over the Model Context Protocol, with one invariant running through all of them: > **A result that was not checked is never returned as a result that passed.** ```bash pip install formal-proof-mcp ``` Coding agents are fluent about correctness. They will tell you a proof went through, a bound holds,