LLM4Rocq/rocq-mcp
3.3
If you are the rightful owner of rocq-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
The Rocq MCP Server is a Model Context Protocol server that facilitates interaction with the Rocq/Coq proof assistant using the Petanque protocol.
Comments
No comments yet. Be the first to comment!