"author:InvariantHoldings" matching MCP servers:

• agda-mcp-server

  InvariantHoldings

  A

  license

  -

  quality

  B

  maintenance

  A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.

  Last updated 2026-05-23

  194

  1

  MIT