A

agda-mcp

Project information

Fully-featured MCP server for Agda, with context-friendly amenities.

Agda mcp MCP-server mcp-servers Rust

30 Commits
1 Branch
0 Tags

README
GNU AGPLv3

Created on

August 26, 2026

Loading