"author:LionOfJewdah" matching MCP servers:

• agda-mcp-server

  InvariantHoldings

  -

  license

  -

  quality

  A

  maintenance

  Enables interactive Agda proof development via MCP, allowing clients to persistently load files, inspect goals, and perform proof actions like case splitting and refinement.

  Last updated 2026-06-16

  1