VS Code

Proofestry for VS Code

com.proofestry/proofestry

Provenance and metadata tools for AI agents. Paid tools use x402 (USDC) at /mcp/<tool>.

client:VS Code transport:streamable-http tools:15

Install Proofestry in VS Code

.vscode/mcp.json

{
  "servers": {
    "proofestry": {
      "type": "http",
      "url": "https://api.proofestry.dev/mcp"
    }
  }
}

Requires agent mode. MCP: Open User Configuration puts the same block in every workspace. VS Code docs

What VS Code can do once it is connected

Proofestry in other clients

Proofestry MCP server