Proof Layer MCP Server: Install & Setup

Install Proof Layer in Claude Code

Claude Code

claude mcp add proof-layer -e PROOF_LAYER_API_KEY=... -- npx -y @proof-layer/mcp

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "proof-layer": {
      "command": "npx",
      "args": [
        "-y",
        "@proof-layer/mcp"
      ],
      "env": {
        "PROOF_LAYER_API_KEY": "..."
      }
    }
  }
}

Replace each ... with your own value.

Frequently asked questions

What does the Proof Layer MCP server do?

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

Is the Proof Layer MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does Proof Layer run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Proof Layer to Claude Code?

Run: claude mcp add proof-layer -e PROOF_LAYER_API_KEY=... -- npx -y @proof-layer/mcp

More ai agents & coding agents MCP servers

View all

Cua

31k

trycua/cua

MCP server for the Computer-Use Agent (CUA), allowing you to run CUA through Claude Desktop or other MCP clients.

LocalFree

Serena

31k

oraios/serena

Coding agent that uses language servers for symbolic code operations.

LocalFreePython

Mastra/

29k

mastra-ai/mastra

Client implementation for Mastra, providing seamless integration with MCP-compatible AI models and tools.

LocalFree

Desktop Commander

10k

wonderwhy-er/DesktopCommanderMCP

Manage and execute programs, and read, write, search and edit code and text files.

LocalFreeTypeScript

Ouroboros

6.3k

Q00/ouroboros

Local agent OS for spec-first AI coding: a replayable, ledger-recorded interview, seed, execute, evaluate and evolve loop that MCP clients can drive.

LocalFreePython

Lingo.dev

5.4k

lingodotdev/lingo.dev

Make your AI agent speak every language on the planet, using Lingo.dev Localization Engine.

LocalFree