MCP-RoCQ by angrysky56
33 score
MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.
Ranked #1022 out of 1672 indexed skills.
Is this your tool? Claim this listing to add maintainer context, get a verified badge, and unlock analytics.
Claim listing → Signal Breakdown
Installs 68
Freshness GitHub not linked
Issue Health GitHub not linked
Stars GitHub not linked
Platform Breadth 1 platform
Contributors GitHub not linked
Description Detailed
How to Improve
Platforms medium impact
Badge
[](https://agentrank-ai.com/skill/glama-angrysky56--mcp-rocq/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/skill/glama-angrysky56--mcp-rocq/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/skill/glama-angrysky56--mcp-rocq" alt="AgentRank"></a>