Zena - our friendly AI robot.MCP Server IndexHome
Back
mcp-rocq icon

mcp-rocq

RoCQ (Coq Reasoning Server)

angrysky56
Python
View on GitHub
Package Information
mcp_rocq
0 downloads/month
View on PyPI
Resources
GitHub Statistics
Stars
3
Watchers
1
Forks
3
Releases
0
Repository createdJanuary 28, 2025
Last updatedApril 3, 2025
Stats refreshedMay 18, 2025
mcp-rocq - MCP server