← all MCP servers
io.github.mrfentmen/idris-mcp
Idris MCP: 20 real tools to read, check, lint, scaffold, build and run Idris code.
install
npm · stdio
npx -y @mrfentmen/idris-mcp@1.0.0
details
- version
- 1.0.0
- stars
- 0
- last commit
- 2026-11-08
- published
- 2026-11-08
last synced 2026-11-09