Quick Start

Get from zero to your first verified claim in minutes.

1. Get Your API Key

Choose a plan and complete checkout. Your pl_live_* API key will be provisioned directly to your Dashboard.

2. Install the MCP Server

Ensure you have Node.js installed, then run:

npm install -g proofledger-mcp

3. Add to Claude Code

claude mcp add --scope user \
  --env PROOFLEDGER_API_KEY=<your-api-key> \
  proofledger -- proofledger-mcp

Replace <your-api-key> with your API key. See MCP Setup for other editors (Claude Desktop, Cursor, VS Code).

4. Verify a Claim

Ask your AI agent:

"Verify this revenue arrangement: Entity X enters a 3-year software license agreement for $120,000 with two distinct performance obligations."

You should see a formal verification result with an ED25519-signed certificate within 15–30 seconds.

MCP Setup

ProofLedger integrates with any AI agent that supports the Model Context Protocol.

Claude Code (CLI)

Install the package globally, then register it with Claude Code:

1. Install

npm install -g proofledger-mcp

2. Add to Claude Code

claude mcp add --scope user \
  --env PROOFLEDGER_API_KEY=<your-api-key> \
  proofledger -- proofledger-mcp

Replace <your-api-key> with your ProofLedger API key (starts with pl_live_).

3. Verify connection

claude mcp list

You should see proofledger with status ✓ Connected.

To remove

claude mcp remove --scope user proofledger

To get your API key: log in to your ProofLedger account and find it in the API / settings section.

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "proofledger": {
      "command": "proofledger-mcp",
      "env": {
        "PROOFLEDGER_API_KEY": "pl_live_your_key_here"
      }
    }
  }
}

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "proofledger": {
      "command": "proofledger-mcp",
      "env": {
        "PROOFLEDGER_API_KEY": "pl_live_your_key_here"
      }
    }
  }
}

VS Code (Copilot)

.vscode/mcp.json

{
  "servers": {
    "proofledger": {
      "command": "proofledger-mcp",
      "env": {
        "PROOFLEDGER_API_KEY": "pl_live_your_key_here"
      }
    }
  }
}

OpenAI Codex CLI

codex mcp add proofledger -- proofledger-mcp

Then set your API key in ~/.codex/config.toml:

[mcp_servers.proofledger]
command = "proofledger-mcp"
[mcp_servers.proofledger.env]
PROOFLEDGER_API_KEY = "pl_live_your_key_here"

Environment Variables

Tools Reference

3 tools available through the Model Context Protocol.

// Input — simple strings (defaults to asc606)
{
  "claims": [
    "Entity X enters a contract for $120,000.",
    "The arrangement has two distinct performance obligations."
  ]
}

// Input — structured claims with per-claim standard
{
  "claims": [
    { "text": "Lease liability of $2.1M", "standard": "ifrs16" },
    { "text": "Revenue of $5M recognised over time", "standard": "asc606" }
  ]
}

// Output → { "batch_id": "550e8400-...", "total": 2, "status": "running" }

// Input
{ "batch_id": "550e8400-..." }

// Output → { "completed": 2, "passed": 2, "failed": 0, "status": "running" }

// Input
{ "id": "550e8400-...", "save_to": "~/Desktop/" }

MCP Resources

API Reference

Direct HTTP access for custom integrations. Base URL: https://api.proofledger.space

Authentication

All requests require an API key in the X-API-Key header:

curl -X POST https://api.proofledger.space/verify \
  -H "Content-Type: application/json" \
  -H "X-API-Key: pl_live_your_key_here" \
  -d '{"claim_text": "3-year software license, $120k"}'

{
  "claim_text": "Entity X enters a 3-year software license agreement for $120,000.",
  "standard": "asc606"  // optional, defaults to asc606
}

{
  "job_id": "550e8400-e29b-41d4-a716-446655440000",
  "status": "queued",
  "message": "Claim submitted for verification"
}

{
  "claims": [
    "Entity X enters a contract for $120,000.",
    { "text": "Lease liability of $2.1M", "standard": "ifrs16" },
    { "text": "Revenue of $5M", "standard": "asc606", "source_ref": { "page": 12 } }
  ],
  "document": {
    "name": "Q4_financials.pdf",
    "hash": "sha256:abc123..."  // optional
  }
}

{
  "batch_id": "550e8400-...",
  "total": 3,
  "status": "running"
}

// Response 200
{
  "batch_id": "550e8400-...",
  "total": 3,
  "completed": 2,
  "passed": 2,
  "failed": 0,
  "status": "running"  // or "completed"
}

Verifying Certificates

The public key is available at api.proofledger.space/.well-known/proofledger.pub

from cryptography.hazmat.primitives.asymmetric.ed25519 import Ed25519PublicKey
from cryptography.hazmat.primitives.serialization import load_pem_public_key
import json, base64

pub_key = load_pem_public_key(open("proofledger.pub", "rb").read())

# Reconstruct payload (everything except "certificate")
result = {k: v for k, v in signed_result.items() if k != "certificate"}
payload = json.dumps(result, sort_keys=True, separators=(",", ":")).encode()

# Verify
signature = base64.b64decode(signed_result["certificate"]["signature"])
pub_key.verify(signature, payload)  # Raises InvalidSignature if tampered

ASC 606 Predicate Library

58 predicates covering the 5-step revenue recognition model, implemented in Lean 4.

IFRS 16 Predicate Library

28 predicates covering lease accounting — identification, classification, measurement, and special topics.

IFRS 15 Predicate Library

Predicates covering IFRS 15 core accounting standards for revenue from contracts with customers.

ASC 842 Predicate Library

Predicates covering ASC 842 lease accounting standards.

IAS 36 Predicate Library

Predicates covering IAS 36 impairment of assets standards.

IFRS 9 Predicate Library

Predicates covering IFRS 9 financial instruments standards.

ASC 740 Predicate Library

Predicates covering ASC 740 income taxes accounting standards.

ASC 350 Predicate Library

Predicates covering ASC 350 intangibles—goodwill and other standards.

IFRS S1 Predicate Library

Predicates covering IFRS S1 sustainability-related financial disclosures standards.