Coqtail
Rank #18465pulsemcp/park-sunho-coqtail
MCP server for interactive Rocq/Coq proof sessions with tools to step through proofs, inspect goals, and execute queries.
Coqtail is a Model Context Protocol (MCP) server published by park-sunho. It ranks #18465 of 58,900 servers tracked on MCP Toplist, and its repository has 5 GitHub stars. Coqtail is listed on PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Apr 25, 2026.
Ranks ahead of 40,435 of 58,900 servers on MCP Toplist.
Use Coqtail
Coqtail 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 1 registry
park-sunho
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
- What is Coqtail?
- MCP server for interactive Rocq/Coq proof sessions with tools to step through proofs, inspect goals, and execute queries.
- Who maintains Coqtail?
- Coqtail is maintained by park-sunho, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is Coqtail an official MCP server?
- Coqtail is not on the Official MCP Registry. It is listed on PulseMCP.
- How many versions does Coqtail have?
- Coqtail ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Coqtail?
- The source code for Coqtail is hosted at github.com/park-sunho/coqtail-mcp.