MCP-RoCQ
Votes: 0
MCP-RoCQ is a Model Context Protocol server that provides advanced logical reasoning capabilities through integration with the Coq proof assistant. It enables automated dependent type checking, inductive type definitions, and property proving with both custom tactics and automation.
GitHub: https://github.com/angrysky56/mcp-rocq
Language: Python
License: MIT
Official: No
Categories:
LocalDeveloper ToolsResearch & Data