park-sunho/Coqtail-mcp

Interactive Rocq / Coq Proofs for AI Agents

10Stars on the repository
6Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
customA LICENSE file GitHub cannot name, so bodies are not copied

Nothing here yet

This corner of the catalogue is empty. The crawl runs nightly, so it may not be for long.