MCP-RoCQ
Rank #14403glama/angrysky56/mcp-rocq
MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.
MCP-RoCQ is a Model Context Protocol (MCP) server published by angrysky56. It ranks #14403 of 58,900 servers tracked on MCP Toplist, and its repository has 10 GitHub stars. MCP-RoCQ is listed across 3 registries — Glama, PulseMCP and mcp.so, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 28, 2025.
Ranks ahead of 44,497 of 58,900 servers on MCP Toplist.
Use MCP-RoCQ
MCP-RoCQ doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 3 registries
angrysky56
Other servers by angrysky56
- Project Synapse#5341
- MCP-Logic#7569
- AST MCP Server#8429
- Aura Backend - Advanced AI Companion MCP Server#8702
- NeoCoder Neo4j AI Workflow#10852
- Advanced Reasoning MCP Server#11104
- Memvid MCP Server#13877
- Coder DB - AI Memory Enhancement System MCP Server#16055
- OpenEnded Philosophy MCP Server#17362
- MCP Windows Website Downloader Server#17874
- MCTS MCP Server#19638
- Ollama MCP Server with MCP Server#19888
Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is MCP-RoCQ?
- MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.
- Who maintains MCP-RoCQ?
- MCP-RoCQ is maintained by angrysky56, which publishes 21 MCP servers (0 total versions) tracked on MCP Toplist.
- Is MCP-RoCQ an official MCP server?
- MCP-RoCQ is not on the Official MCP Registry. It is listed on Glama, PulseMCP and mcp.so.
- How many versions does MCP-RoCQ have?
- MCP-RoCQ ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for MCP-RoCQ?
- The source code for MCP-RoCQ is hosted at github.com/angrysky56/mcp-rocq.