jacobian
01MCP server Claude CodeCodexCursor +2
Executable mathematics and independent verification for AI agents. Runs locally from the jacobian npm package.
92 2d ago A
tokens not measured
original MIT
context7
02MCP server Claude CodeCodexCursor +2
Gives the agent up-to-date documentation and code examples for libraries and frameworks, fetched on demand so answers are not stuck at the model's training cutoff. Runs locally from the @upstash/context7-mcp npm package.
21 4d ago A
tokens not measured
copy · 100% Apache-2.0
agda-mcp
03MCP server Claude CodeCodexCursor +2
An MCP server for Agda's interaction protocol. Runs locally from the agda-mcp npm package.
0 25d ago A
tokens not measured
original MIT
nickharris808/formal-proof-mcp
MCP server Claude CodeCodexCursor +2
MCP server "formal-proof-mcp" as configured in nickharris808/formal-proof-mcp. Runs locally from the formal-proof-mcp Python package.
0 1mo ago A
tokens not measured
original Apache-2.0