peterthiemann/agda-mcp — Skills

0Stars on the repository

2Mods indexed here, across every type

2d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

agda-proof

Skill Codex

Develop and inspect on-disk Agda proofs with agda-mcp: typecheck modules, inspect holes and constraints, infer or normalize expressions, and refine, case split, or search for proofs. Use for Agda source and interaction failures; not Lean, Coq, general dependent-type explanations, or development of the MCP server…

not rated 0 2d ago A 72 tokens original MIT