Get Started

Three steps from sign-up to your first verified claim.

Step 1

Choose Your Plan

Every plan includes ED25519-signed certificates, Lean 4 proofs, and MCP integration.

Professional

For smaller teams

$499 /mo
  • 500 verifications/month
  • Signed proof certificates
  • MCP integration
  • Standard support
Most Popular

Enterprise

For growth-stage enterprises

$2,499 /mo
  • 5,000 verifications/month
  • Everything in Professional
  • Batch processing (50 claims)
  • Priority support
  • API access

Platform

For high-volume corporations

$9,999 /mo
  • 50,000 verifications/month
  • Everything in Enterprise
  • Custom predicate configuration
  • Priority email support

After checkout, your API key will be emailed to you within seconds.

Step 2

Install the MCP Server

Install globally via npm

npm install -g proofledger-mcp

Add to your AI agent config

For Claude Desktop, edit ~/Library/Application Support/Claude/claude_desktop_config.json:

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

Using Cursor or VS Code? See all config options →

Step 3

Verify Your First Claim

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

🔧 Calling verify_claim...

✅ Verification Complete
VerdictPass
StandardASC 606-10-55-58
Predicatesvalid_contract, distinct_obligation, license_right_to_use, recognised_point_in_time
CertificateED25519 signed ✓

The claim is compliant. Revenue should be recognised at a point in time per ASC 606-10-55-58 (functional intellectual property).

What's Next?

📖

Explore All Tools

Verify files, batch process claims, download reports.

 ⚡

API Reference

Build custom integrations with the REST API.

 🧮

Predicate Library

Explore all 280+ predicates across 10 Global Standards.