"author:peterthiemann" matching MCP servers:

• agda-mcp

  peterthiemann

  -

  license

  -

  quality

  -

  maintenance

  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.

  Last updated 2026-07-19