MCP-RoCQ (Coq Reasoning Server)
Category: research-and-data
Author: angrysky56
Language: Python
Tags: coq,claude,mcp-server
Description: RoCQ (Coq Reasoning Server)
Tools:
Server configuration: