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. Configure Your AI Agent

Add the following to your Claude Desktop config (see MCP Setup for other editors):

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

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 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"
      }
    }
  }
}

Environment Variables

Tools Reference

6 tools available through the Model Context Protocol.

// Input
{ "text": "Entity X enters a 3-year software license agreement for $120,000." }

// Output → job_id + status: "queued"

// Input
{ "path": "/path/to/contract.pdf", "max_claims": 5 }

// Supported: .pdf, .txt, .md, .rst

// Input
{
  "claims": [
    "Entity X enters a contract for $120,000.",
    "The arrangement has two distinct performance obligations.",
    "Revenue is recognised at a point in time."
  ]
}

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

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

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

// Input
{ "limit": 10 }

// 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."
}

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

{
  "claims": [
    "Entity X enters a contract for $120,000.",
    "Two distinct performance obligations.",
    "Revenue recognised at a point in time."
  ]
}

{
  "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.