emdash-local
01MCP server Claude CodeCodexCursor +2
MCP server "emdash-local" as configured in hotdocx/emdash. Runs ./scripts/start-mcp.mjs with node.
not rated 3 28d ago A
tokens not measured
agda-mcp
02MCP server Claude CodeCodexCursor +2
An MCP server for Agda's interaction protocol. Runs locally from the agda-mcp npm package.
not rated 0 9d ago A
tokens not measured
original MIT