MCP-RoCQ
Rank #19,072glama/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 #19,072 of 76,851 servers tracked on MCP Toplist, and its repository has 10 GitHub stars. MCP-RoCQ is listed across 3 registries — Glama, mcp.so and PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 28, 2025.
Ranks ahead of 57,779 of 76,851 servers on MCP Toplist.
Listed on 1 registry (2 delisted)
angrysky56
Other servers by angrysky56
- MCP-Logic#11,685
- Project Synapse#12,809
- AST MCP Server#12,834
- NeoCoder Neo4j AI Workflow#15,587
- Advanced Reasoning MCP Server#18,734
- Memvid MCP Server#18,735
- Aura Backend - Advanced AI Companion MCP Server#19,709
- Coder DB - AI Memory Enhancement System MCP Server#20,602
- OpenEnded Philosophy MCP Server#22,276
- MCP Windows Website Downloader Server#22,369
- MCTS MCP Server#24,536
- Ollama MCP Server with MCP Server#24,804
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
- Who maintains MCP-RoCQ?
- MCP-RoCQ is maintained by angrysky56, which publishes 28 MCP servers (0 total versions) tracked on MCP Toplist.
- Is MCP-RoCQ listed on the Official MCP Registry?
- MCP-RoCQ is not on the Official MCP Registry. It is listed on Glama, mcp.so and PulseMCP.
- 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.