Search for a command to run...
loading…
1 MCPs · 0 installs total
A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.
