agentmods.dev

proofjson

1 mods across 1 repository, 0 stars between them.

Open on GitHub
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

mcp-proofjson

01

proofjson/mcp-proofjson

MCP server Claude CodeCodexCursor

MCP server "mcp-proofjson" as configured in proofjson/mcp-proofjson. Launched with mcp-proofjson.

0 2mo ago A tokens not measured original MIT