invariantholdings

agda-mcp-server

Interactively develop Agda proofs by loading files, inspecting goals, and applying proof actions.