AGENTRANK
LLM4Rocq/rocq-mcp
MCP server for the Rocq prover
51
/ 100
Stars
45
Freshness
5
Issue health
63
Contributors
56
Dependents
0