peterthiemann

Develop on-disk Agda proofs with semantic MCP tools and an incremental proof workflow.