A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providin…
A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean verification, and audit chains with a 4-value verdict system.
fc0web
mcp
free
