agda-mcp-server
A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.
- Score
- 22.5571 signal
- Evidence
- 1 star
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- tynan-daly-python-repl42 stars · 15 forks86.054
- movibe-memory-bank46 stars · 12 forks86.046
- t-kalinowski-interactive-console65 stars · 5 forks84.951
What it is
A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.
When to use it
A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.