F
licenseB
qualityD
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.
30
3
-
agda-mcp-server
Related Servers
Alternatives to agda-mcp-server
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityBmaintenanceMCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.8Apache 2.0
narya-mcpofficial
AlicenseAqualityCmaintenanceEnables LLM agents to typecheck Narya files and develop proofs interactively by loading files into live sessions, inspecting and solving holes, searching for lemmas, and replaying edits.17Apache 2.0- AlicenseAqualityAmaintenanceProvides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.182 npmMIT
- FlicenseNot gradedqualityDmaintenanceThis server implements the Model Context Protocol to facilitate meaningful interaction and understanding development between humans and AI through structured tools and progressive interaction patterns.57-
- FlicenseNot gradedqualityDmaintenanceA demonstration implementation of the Model Context Protocol server that facilitates communication between AI models and external tools while maintaining context awareness.-
This server cannot be deployed
Maintenance
ActivityStale
ResponsivenessSlow