Armory
Source
Browse
MCPs

agda-mcp

Provides 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.

Score
23.3741 signal
Evidence
1 fork
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. mongodb-js-mongodb1,116 stars · 283 forks98.045
  2. mcp-bridge223 stars · 79 forks95.456
  3. rafaljanicki-x-twitter35 stars · 21 forks87.301

What it is

Provides 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.

When to use it

Provides 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.

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.