rocq-mcp
MCP server for the Rocq prover
Python
★ 48 stars
Last pushed 2026-10-19
License: Apache-2.0
Connect
See the repository for installation instructions: https://github.com/LLM4Rocq/rocq-mcp
Related servers
R
REA
Other
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
★ 416,108
MCP Server
B
browser-use
Other
Browser agents and stealth cloud browsers for AI: run web tasks, fill forms, extract data.
★ 119,697
MCP Server
Reachable
P
paperclip
Other
Trending hip-hop artist momentum scores across four cultural dimensions.
★ 109,581
MCP Server
Reachable
W
World Monitor
Other
Real-time global intelligence across conflict, markets, energy, trade, shipping and cyber. 99 tools.
★ 89,877
MCP Server
Requires auth
R
ruflo
Other
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
★ 80,443
MCP Server
F
Front-End Checklist
Other
Review frontend code and live pages against 386 quality-gated web development rules.
★ 74,619
MCP Server