Skip to main content
AllMCPs
BrowseBestCategoriesStackCompareToolsGuidesBlog Log in Submit MCP

Stay in the loop

Get new MCP servers and top picks in your inbox.

AllMCPs

The open directory for discovering and installing Model Context Protocol servers.

Explore

  • Browse servers
  • Best MCP servers
  • Categories
  • MCP clients
  • Agent prompts
  • Stack Builder
  • Compare servers
  • Tags index
  • Submit a server
  • Pricing

Learn

  • Guides hub
  • What is MCP?
  • Install guide
  • Troubleshooting
  • Security
  • Blog
  • Blog RSS

Tools

  • All tools
  • Config generator
  • Config validator
  • MCP playground
  • OpenAPI β†’ MCP
  • Badge generator

For agents

  • API docs
  • Trust & traffic
  • llms.txt β†— (opens in a new tab)
  • Catalog JSON β†— (opens in a new tab)
  • Remote MCP β†— (opens in a new tab)

Company

  • About
  • Contact
  • X (@AllMCPs) β†— (opens in a new tab)
  • GitHub β†— (opens in a new tab)
  • Terms
  • Privacy
AllMCPs VerifiedAllMCPs VerifiedFeatured on Nick LaunchesFeatured on Nick LaunchesLaunch Llama NewsletterLaunch Llama NewsletterVerified DR - allmcps.comVerified DR - allmcps.comFeatured on SaaSGrowFeatured on SaaSGrowFeatured on Twelve ToolsFeatured on Twelve ToolsFeatured on Saaspa.geFeatured on Saaspa.geFeatured on Findly.toolsFeatured on Findly.toolsFeatured on Startup FameFeatured on Startup FameFeatured on LaunchKiwiFeatured on LaunchKiwiFeatured on ScrollLaunchFeatured on ScrollLaunchFeatured on DailyPingsFeatured on DailyPingsFazier badgeFazier badgeFeatured on NewTool.siteFeatured on NewTool.siteFeatured on saasfame.comFeatured on saasfame.comDR Checker - Domain RatingDR Checker - Domain RatingListed on Turbo0Listed on Turbo0Launched on LaunchBoard - Product Launch PlatformLaunched on LaunchBoard - Product Launch PlatformList on SimilarlabsList on Similarlabshttps://codetrendy.comhttps://codetrendy.comListed on DevTool.ioFeatured on BuildlistFeatured on BuildlistAllMCPs VerifiedAllMCPs VerifiedFeatured on Nick LaunchesFeatured on Nick LaunchesLaunch Llama NewsletterLaunch Llama NewsletterVerified DR - allmcps.comVerified DR - allmcps.comFeatured on SaaSGrowFeatured on SaaSGrowFeatured on Twelve ToolsFeatured on Twelve ToolsFeatured on Saaspa.geFeatured on Saaspa.geFeatured on Findly.toolsFeatured on Findly.toolsFeatured on Startup FameFeatured on Startup FameFeatured on LaunchKiwiFeatured on LaunchKiwiFeatured on ScrollLaunchFeatured on ScrollLaunchFeatured on DailyPingsFeatured on DailyPingsFazier badgeFazier badgeFeatured on NewTool.siteFeatured on NewTool.siteFeatured on saasfame.comFeatured on saasfame.comDR Checker - Domain RatingDR Checker - Domain RatingListed on Turbo0Listed on Turbo0Launched on LaunchBoard - Product Launch PlatformLaunched on LaunchBoard - Product Launch PlatformList on SimilarlabsList on Similarlabshttps://codetrendy.comhttps://codetrendy.comListed on DevTool.ioFeatured on BuildlistFeatured on Buildlist
Β© 2026 Jackalope Digital LLC. All rights reserved.
  1. Home
  2. πŸ’» Developer Tools
  3. Proof Layer
P
Health: Not checked yetWe have not completed a health check for this listing yet.Last checked 8/11/2026, 12:19:55 AM

Proof Layer

Enrichment pendingWe haven’t run our AI enrichment pass on this listing yet, so the overview, use cases, and FAQ below may be sparse or missing. We work through the catalog over time β€” check back soon.
View RepositoryVisit Website

Signed, hash-chained provenance receipts for AI agent actions.

Quick Install

Automated & IDE Setup

Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β€” or use 1-click editor setup below.

Add to CursorAdd to VS Code
Manual Client & Custom JSON ConfigExpand JSON β–Ύ

Install Config Generator

Choose your client
claude_desktop_config.json
{
  "mcpServers": {
    "proof-layer": {
      "command": "npx",
      "args": [
        "-y",
        "proof-layer"
      ]
    }
  }
}

πŸ’‘ Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows)

Install Directory Badge Claim listing AlternativesπŸ’» More in Developer Tools

Documentation Overview

Proof Layer

@proof-layer/mcp @proof-layer/verify License: MIT MCP compatible Live deployment

Cryptographic governance receipts for AI agents. Issued before the agent acts. Ed25519-signed. Hash-chained. Verifiable offline.

Built by WORLD999_LABS. Published on npm under @proof-layer/*. The legacy @veridocs/* package names continue to resolve and forward to the new ones.


What this repo contains

This is the public half of Proof Layer β€” the parts you install and run on your own machine:

PackageWhat it doesnpm
@proof-layer/mcpMCP server for Claude Desktop, Cursor, Cline, and any MCP-aware hostnpm
@proof-layer/verifyStandalone offline verifier β€” zero dependencies, audits any receipt bundle with just our public keynpm

The kernel (governance engine, Gauntlet adversary/judge pipeline, billing, dashboard) is closed-source and runs at prooflayer.world999labs.com. Open-source clients + closed-source server is the same pattern Stripe, Resend, and Vercel use β€” you get full transparency on what runs locally and what data leaves your machine, while the proprietary server logic stays protected.


Quick start

Terminal
npx -y @proof-layer/mcp@latest

Drop into Claude Desktop's claude_desktop_config.json:

config.json
{
  "mcpServers": {
    "proof-layer": {
      "command": "npx",
      "args": ["-y", "@proof-layer/mcp@latest"],
      "env": {
        "PROOF_LAYER_API_KEY": "pl_live_...",
        "PROOF_LAYER_API_URL": "https://prooflayer.world999labs.com"
      }
    }
  }
}

Restart Claude. Eight pl_* tools appear in the picker. Get an API key at prooflayer.world999labs.com.

Migrating from @veridocs/mcp? No code changes required. The legacy package name continues to resolve, the legacy vd_* tool names continue to work alongside pl_*, and existing VERIDOCS_API_KEY / VERIDOCS_API_URL environment variables are still accepted. You can switch the package name and env-var names on your own schedule.


Why pre-execution governance?

Most "AI safety" tools run after the model has acted β€” toxicity filters, output classifiers, post-hoc audit logs. By the time the alarm fires, the agent has already sent the email, merged the PR, or executed the trade.

Proof Layer flips this:

  1. Agent proposes an action (e.g. "send wire transfer for $50,000")
  2. Proof Layer evaluates β†’ returns signed verdict: EXECUTE / BLOCK / REVIEW / SHADOW
  3. Receipt is written to a hash-chained, Ed25519-signed audit trail
  4. Anyone with our public key can verify the entire chain offline β€” no trust in our infra required

A broken hash chain = tampering, immediately visible. A missing receipt = the agent acted without permission.


Verifying receipts offline

Receipts are designed to outlive us. Here's how to verify a bundle without ever calling our API:

server.ts
import { verifyBundle } from "@proof-layer/verify";
import fs from "fs";

const bundle = fs.readFileSync("./receipts.ndjson", "utf8");
const publicKey = fs.readFileSync("./prooflayer-public-key.pem", "utf8");

const result = verifyBundle(bundle, publicKey);
console.log(result);
// { pass: 147, fail: 0, total: 147, chainBroken: false }

Public key is published at prooflayer.world999labs.com/v1/public-key and rotates on a published schedule.


Resources

  • 🌐 Homepage: https://prooflayer.world999labs.com
  • 🎬 Live demo (no signup): https://prooflayer.world999labs.com/demo
  • πŸ“– MCP docs: packages/mcp/README.md
  • πŸ”’ Privacy policy: PRIVACY.md
  • πŸ› Report issues: GitHub Issues
  • πŸ’¬ Support: support@world999labs.com

License

MIT β€” see LICENSE.

The kernel and dashboard are proprietary and not included in this repo. The MCP server, verifier, and all client SDKs published under @proof-layer/* (and the legacy @veridocs/* names) are MIT-licensed.


Contributing

Pull requests, issues, and feedback welcome. See CONTRIBUTING.md.

Related MCP Servers

View all in Developer Tools View all alternatives
  • A
    Agent Receipts

    Issue & verify signed (ed25519), hash-chained, timestamped provenance receipts for agent actions.

    πŸ’» Developer Tools0 views
    Compare vs Agent Receipts β†’
  • E
    Evermint Mcp

    Mint tamper-evident receipts for AI agent actions. The notary layer for agent-to-agent transactions.

    πŸ’» Developer Tools0 views
    Compare vs Evermint Mcp β†’
  • T
    Trust Gate

    Post-quantum, tamper-evident receipts for agent actions. Ed25519 + ML-DSA-65, offline verify.

    πŸ’» Developer Tools0 views
    Compare vs Trust Gate β†’
  • A
    Agent Skills Search Server

    Search and discover Agent Skills from the skills.sh registry. Powered by HAPI MCP server.

    πŸ’» Developer Tools0 views
    Compare vs Agent Skills Search Server β†’

Frequently Asked Questions about Proof Layer

Add the following block to your claude_desktop_config.json under mcpServers: "mcpServers": { "proof-layer": { "command": "npx", "args": ["-y", "proof-layer"] } }

AllMCPs Directory Badge

Full Badge Customizer

Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.

Badge Style:
Live Dynamic SVG PreviewProof Layer AllMCPs Directory Badge
Markdown (GitHub README)
[![AllMCPs](https://allmcps.com/api/badge/proof-layer?style=directory)](https://allmcps.com/mcp/proof-layer)
HTML Embed
<a href="https://allmcps.com/mcp/proof-layer"><img src="https://allmcps.com/api/badge/proof-layer?style=directory" alt="Proof Layer on AllMCPs" /></a>

Technical Specs & Signals

CategoryπŸ’»Developer Tools
More technical detailsExpand β–Ύ
TransportSTDIO
RuntimeNode.js
0/4 checks healthy over the last 6h
Views0
Unique ViewsTotal visits recorded for this listing page on AllMCPs.
Installs0
Installs & Copy ActionsTotal times users copied install commands or configuration snippets for this server.
25Quality signal: Emerging Β· 25/100How this signal is calculated β–Ύ
Server availabilityNot measured

Not scored for repo-hosted servers β€” we can't reach the running server, only its GitHub page. Hosted MCP endpoints are health-checked live.

Verified ownership8/20
Documentation & tools10/30
Adoption & activity1/15
Community engagement0/10

A guidance signal from public completeness & health data β€” not a user rating. New listings start lower and rise as they add docs, get verified, and grow adoption. Signals we can't observe for a listing are skipped, not counted against it.

β˜… Spotlight Slot

Feature Your MCP Server

Get maximum visibility for your server across our directory, search results, and detail pages.

Spotlight Your Server

Own this project?

This directory is pre-filled from public sources. Claim via GitHub README, site badge, or DNS TXT to get the verified badge.

Free dofollow backlink: after claiming, verify your product site and place a dofollow AllMCPs badge β€” we recheck it stays live.

Claim & get free dofollow

Share & Embed

Add our SVG badge (dark/light directory styles) or embeddable widget to your site.

Explore more

More in πŸ’» Developer Tools β†’Best MCP servers for Developers β†’Alternatives to Proof Layer β†’Install in Claude DesktopInstall in CursorInstall in VS Code