Back to all repositories
PA
Coqtail-mcp
by park-sunho
Interactive Rocq / Coq Proofs for AI Agents
10stars2forks2watchers/subscribers1issues
- Language
- Python
- License
- Other
- Size
- 240 KB
- Created
- Apr 24, 2026
- Last Updated
- Aug 6, 2026
- Last Pushed
- Jul 13, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.