literate-agda-mcp
v1.0.0
io.github.mrfentmen/literate-agda-mcp
Literate Agda MCP: 20 real tools to read, check, lint, scaffold, build and run Literate Agda code.
v1.0.0
io.github.mrfentmen/liquidsoap-mcp
Liquidsoap MCP: 20 real tools to read, check, lint, scaffold, build and run Liquidsoap code.