Owner

faezs

1 indexed repository · View on GitHub

agda-mcp

Haskell · 11 stars

Beginner friendly Everything

Open All

Server unreachable from Claude Code 2.1.x (stale mcp-server-hs pin + patch no longer applies) Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

faezs/agda-mcp#7 · Opened Jul 31, 2026

A short digest of beginner-friendly GitHub issues.