agda-mcpDreamLinuxer-license-quality-maintenanceMCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client. Last updated 2026-03-162