thoughtproof-mcp 0.1.0

package/README.md

@@ -0,0 +1,56 @@
+# @thoughtproof/mcp-server
+
+MCP server that exposes ThoughtProof reasoning verification as a tool for Claude, Cursor, and any MCP-compatible host.
+
+ThoughtProof runs adversarial multi-model critique on a claim and returns a verdict (`ALLOW` / `HOLD` / `UNCERTAIN` / `DISSENT`), a confidence score, and up to 3 key objections.
+
+## Install
+
+```bash
+npx @thoughtproof/mcp-server
+```
+
+## Claude Desktop config
+
+Add to `~/Library/Application Support/Claude/claude_desktop_config.json`:
+
+```json
+{
+  "mcpServers": {
+    "thoughtproof": {
+      "command": "npx",
+      "args": ["-y", "@thoughtproof/mcp-server"]
+    }
+  }
+}
+```
+
+## Example
+
+**User:** Verify this trade: "Buy 50k USDC of ARB/USDC at market, stop-loss at -8%, no hedge."
+
+**Claude calls `verify_reasoning`:**
+```json
+{
+  "claim": "Buy 50k USDC of ARB/USDC at market, stop-loss at -8%, no hedge.",
+  "stakeLevel": "high",
+  "domain": "financial"
+}
+```
+
+**Tool response:**
+```
+Verdict: HOLD
+Confidence: 41.2%
+
+Key objections:
+1. Market-order entry on low-liquidity pair risks significant slippage on a $50k position.
+2. -8% stop-loss is within normal daily volatility for ARB; likely to be triggered without a directional move.
+3. No hedge leaves full downside exposure during high-beta drawdowns.
+
+Verified in 18432ms
+```
+
+## Payment (x402)
+
+ThoughtProof charges per verification via the [x402 protocol](https://x402.org) (Base USDC). If payment is not attached the tool returns a clear `paymentRequired` message with wallet and amount details.

package/dist/index.js

@@ -0,0 +1,122 @@
+#!/usr/bin/env node
+
+// src/index.ts
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import {
+  CallToolRequestSchema,
+  ListToolsRequestSchema
+} from "@modelcontextprotocol/sdk/types.js";
+var API_URL = "https://api.thoughtproof.ai/v1/check";
+var server = new Server(
+  { name: "thoughtproof-mcp", version: "0.1.0" },
+  { capabilities: { tools: {} } }
+);
+server.setRequestHandler(ListToolsRequestSchema, async () => ({
+  tools: [
+    {
+      name: "verify_reasoning",
+      description: "Verify a decision or reasoning claim using ThoughtProof adversarial multi-model critique. Returns a verdict (ALLOW/HOLD/UNCERTAIN/DISSENT), confidence score, and up to 3 key objections.",
+      inputSchema: {
+        type: "object",
+        properties: {
+          claim: {
+            type: "string",
+            description: "The decision or reasoning to verify"
+          },
+          stakeLevel: {
+            type: "string",
+            enum: ["low", "medium", "high", "critical"],
+            default: "medium",
+            description: "Stakes of the decision \u2014 affects confidence threshold"
+          },
+          domain: {
+            type: "string",
+            enum: ["financial", "medical", "legal", "code", "general"],
+            default: "general",
+            description: "Domain context for the verification"
+          }
+        },
+        required: ["claim"]
+      }
+    }
+  ]
+}));
+server.setRequestHandler(CallToolRequestSchema, async (request) => {
+  if (request.params.name !== "verify_reasoning") {
+    throw new Error(`Unknown tool: ${request.params.name}`);
+  }
+  const { claim, stakeLevel = "medium", domain = "general" } = request.params.arguments;
+  let response;
+  try {
+    response = await fetch(API_URL, {
+      method: "POST",
+      headers: { "Content-Type": "application/json" },
+      body: JSON.stringify({ claim, stakeLevel, domain })
+    });
+  } catch (err) {
+    return {
+      content: [
+        {
+          type: "text",
+          text: `Network error reaching ThoughtProof API: ${err.message}`
+        }
+      ],
+      isError: true
+    };
+  }
+  if (response.status === 402) {
+    const body = await response.json().catch(() => ({}));
+    const accepts = body?.accepts?.[0];
+    const amount = accepts?.maxAmountRequired ? `${Number(accepts.maxAmountRequired) / 1e6} USDC` : "a small USDC fee";
+    return {
+      content: [
+        {
+          type: "text",
+          text: [
+            "**Payment required (x402)**",
+            "",
+            `ThoughtProof requires ${amount} per verification, paid on-chain via the x402 protocol.`,
+            "",
+            "To use this tool programmatically, attach an `X-PAYMENT` header with a valid Base USDC payment payload.",
+            "See https://x402.org for client libraries.",
+            "",
+            accepts ? `Pay-to wallet: ${accepts.payTo}
+Network: ${accepts.network}
+Asset: ${accepts.asset}` : ""
+          ].join("\n").trim()
+        }
+      ],
+      isError: false
+    };
+  }
+  if (!response.ok) {
+    const text = await response.text().catch(() => `HTTP ${response.status}`);
+    return {
+      content: [{ type: "text", text: `ThoughtProof API error (${response.status}): ${text}` }],
+      isError: true
+    };
+  }
+  const result = await response.json();
+  const lines = [
+    `**Verdict:** ${result.verdict}`,
+    `**Confidence:** ${(result.confidence * 100).toFixed(1)}%`
+  ];
+  if (result.objections?.length) {
+    lines.push("", "**Key objections:**");
+    result.objections.forEach((o, i) => lines.push(`${i + 1}. ${o}`));
+  }
+  lines.push("", `*Verified in ${result.durationMs}ms*`);
+  return {
+    content: [{ type: "text", text: lines.join("\n") }],
+    isError: false
+  };
+});
+async function main() {
+  const transport = new StdioServerTransport();
+  await server.connect(transport);
+}
+main().catch((err) => {
+  console.error(err);
+  process.exit(1);
+});

package/package.json

@@ -0,0 +1,33 @@
+{
+  "name": "thoughtproof-mcp",
+  "version": "0.1.0",
+  "description": "MCP server for ThoughtProof reasoning verification",
+  "type": "module",
+  "main": "dist/index.js",
+  "bin": {
+    "thoughtproof-mcp": "dist/index.js"
+  },
+  "scripts": {
+    "build": "tsup",
+    "dev": "tsx src/index.ts"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.0.0"
+  },
+  "devDependencies": {
+    "tsup": "^8.0.0",
+    "typescript": "^5.0.0",
+    "@types/node": "^20.0.0",
+    "tsx": "^4.0.0"
+  },
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=18"
+  },
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public"
+  }
+}