πŸ”§

mcp-proofjson

πŸ”§MCP Server

proofjson/mcp-proofjson

glama

Installation

Claude CodeAuto-generated from README. View full documentation on GitHub β†’
claude mcp add proofjson -- node /ABSOLUTE/PATH/mcp-proofjson/dist/index.js
Claude Desktop ConfigurationServer configuration (JSON)
{ "mcpServers": { "proofjson": { "command": "node", "args": ["...
0
Last UpdatedJun 18, 2026