Directory
MCP servers
2 servers that let your AI assistant read data and take actions in the tools you use.
2 results“rocq”
RoCQ
angrysky56
Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.