rocq-piler
Rank #40,729glama/scidonia/rocq-piler
MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.
rocq-piler is a Model Context Protocol (MCP) server published by scidonia. It ranks #40,729 of 137,138 servers tracked on MCP Toplist, and its repository has 8 GitHub stars. rocq-piler is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 21, 2026.
Ranks ahead of 96,409 of 137,138 servers on MCP Toplist.
Use rocq-piler
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fscidonia%2Frocq-piler)<a href="https://mcptoplist.com/server/glama%2Fscidonia%2Frocq-piler"><img src="https://mcptoplist.com/badge/glama%2Fscidonia%2Frocq-piler.svg" alt="MCP Toplist: Top 50% of 137,138" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
scidonia
Not versioned
This server is published through a registry that does 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 rocq-piler?
- rocq-piler is maintained by scidonia, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is rocq-piler listed on the Official MCP Registry?
- rocq-piler is not on the Official MCP Registry. It is listed on Glama.
- How many versions does rocq-piler have?
- rocq-piler ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for rocq-piler?
- The source code for rocq-piler is hosted at github.com/scidonia/rocq-piler.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.