agda-mcp-serverDeveloper ToolsCode AnalysisLocalInvariantHoldingsAlicense-qualityBmaintenanceA stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions. Last updated 2026-05-231941MIT