ProofSlip
MCP server · proofslip.ai
- On your machine
ProofSlip is an MCP server published by proofslip.ai. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-11.
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
- Marketplaces
- 1
- Where it runs
- On your machine
@proofslip/mcp-server - Largest published figure
- 1 Stars (GitHub) · Official MCP Registry
- First seen
- 2026-10-11
- Last change
- None recorded
- Verified mark
- Not marked
Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.2.3 | Forks (GitHub): 0 Stars (GitHub): 1 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What it can do
Runs on your machine: the AI tool starts this npm package locally: @proofslip/mcp-server
- Tools it declares
- Not published
- Environment variables it asks for
- 2 secrets among them: 1
What changed
Nothing has moved on this plugin since we started watching it.
The publisher
proofslip.ai · Repository: github.com/johnny-z13/proofslip
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
- agent-receipts io.github.webaesbyamin/agent-receiptsEd25519-signed receipts for every AI agent action. Local-first, verifiable, no server required.
- AccordTraceTamper-evident proof creation and verification for AI agents via MCP, A2A, and REST.
- ActionProofTamper-proof audit trail for AI agents. Signed receipts, offline-verifiable, zero backend.
- AIﾉアカリ☆ Agent Trust ReceiptRead-only Remote MCP for externally grounded AI agent trust receipts.
- Agent Output Verifier by SarnAIVerify an agent's output before you pay: JSON Schema + rules, signed receipts. Free during launch.
- AOTrust Notarization & Evidence ServerCryptographic proof of existence for AI agents. Base x402, NEAR anchored. Free tier.
- vantic ai.vanticlabs/vanticVerify an AI agent's payment authority: signed mandates, allowlists, and tamper-proof receipts.
- AI Proof of UsPrivate signed AI task receipts with replay checks and optional validated AIPOU claims.
- NumProofDeterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
- ProofStreamDispatch a human verifier to physically verify anything in the real world. For AI agents.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
- veritasacta-verifyOffline Ed25519 receipt verifier — checks signed decision receipts, agent manifests, and audit bundles without contacting any server.
- weilliptic-receiptsClaude Code plugin that audits AI-assisted code changes. Automatically records every file edit, session, and commit as a verifiable receipt providing tamper-proof provenance for…
- verifiedxVerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such…
- mypowersZero-trust military-grade AI co-founder OS with progressive FULL/PARTIAL/BASIC security, Fortress Bible audit trail, and native hooks
- memoriant-llm-gateway-skillCompliance-first LLM gateway for Claude Code. Policy-as-code enforcement (YAML policy definitions), tamper-evident audit trails, PII redaction, token budget enforcement, and…
Has a listing on Claude Code: claude-plugins-official (5)
- langfuseSkills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
- dash0OpenTelemetry observability for Claude Code sessions. Captures tool calls, LLM invocations, token usage, and errors as OTel traces. Send telemetry to Dash0 or any…
- DeepEvalSkills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
- outputaiOutput.ai workflow development toolkit for Claude Code. Adds 5 specialist agents (planner, builder, debugger, prompt writer, quality reviewer), 40+ slash-command skills covering…
- receiptsA personal Claude Code impact report for justifying your usage to a manager or a self-review: what you shipped, which projects it went to, and each project's share of your usage…
Has a listing on Claude: knowledge-work-plugins (5)
- langfuseSkills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
- SynthflowConnects Claude Code to the Synthflow AI voice-agent platform through its hosted MCP server, with skills for reviewing calls and auditing agent prompts, plus a docs-search…
- AirwallexBring Airwallex's global financial infrastructure to Claude. Orchestrate actions across your account in plain language, e.g., set up invoices from a PO, onboard suppliers from…
- FinanceStreamline finance and accounting workflows, from journal entries and reconciliation to financial statements and variance analysis. Speed up audit prep, month-end close, and…
- WingspanAsk Claude about the contractors you pay through Wingspan, what you owe them, and what is holding up a payment, then onboard contractors and log payments as drafts, with a preview…
Has a listing on Codex: openai-curated (openai/plugins) (5)
- OpenAI DevelopersBuild with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
- Plugin EvalEvaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
- NVIDIASkills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
- crowdstrike-falcon-foundryCrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
- CloudflareCloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
Has a listing on Community GitHub marketplaces (5)
- agentforge io.github.acarchidi/agentforgeDeFi safety layer for AI agents: wallet safety, token risk, tx decode/simulate. 20 tools.
- Dash0 ObservabilityOpenTelemetry observability for OpenAI Codex sessions. Captures prompts, tool calls, MCP calls, sub-agent activity, and token usage as OTel traces.
- DeepEvalSkills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
- Multi-workspace Slack MCP server with draft+confirm safety, vault auto-export, aMulti-workspace Slack MCP server with draft+confirm safety, vault auto-export, and triple-mode…
- SaltYour agent asks humans on Salt and gets answers: messages, tap-to-answer cards, invoices.
Has a listing on Copilot CLI: github/awesome-copilot (5)
- doublecheckThree-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
- BLEASafe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
- token-pacmanVisualizes live session AI-credit usage as a Pac-Man board with pellets, ghosts, fruit milestones, and game-over limits.
- ai-team-orchestrationRun a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
- microsoft-foundrySkills and interactive Copilot canvas for designing, configuring, testing and deploying agents to Microsoft Foundry.
Has a listing on Copilot CLI: github/copilot-plugins (5)
- microsoft-365-agents-toolkitToolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
- workiqQuery Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
- advanced-securityAdvanced Security plugin for GitHub Copilot.
- canvas-appsBuild Power Apps Canvas Apps using the Canvas Authoring MCP server.
- workiq-productivityWorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
Has a listing on Cursor: cursor/plugins (5)
- OrchestrateFan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
- DocusignManage envelopes, templates, workflows, and agreements.
- Cursor SDKBuild apps, scripts, and automations with the TypeScript SDK.
- GuruSearch company knowledge and draft verified answers.
- FirefliesSearch meeting transcripts, summaries, and action items.
Has a listing on Docker MCP Catalog (5)
- WayfoundWayfound’s MCP server allows business users to govern, supervise, and improve AI Agents.
- Postman MCP ServerGive your AI agents trusted access to the full Postman platform.
- OpikRead and score Opik traces, experiments, datasets and prompts from your AI assistant.
- OpenMeshDiscover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
- Plugged.in ProxyA unified MCP proxy that aggregates multiple MCP servers into one interface, enabling seamless tool discovery and management across all your AI interactions. Manage all your MCP…
Has a listing on Official MCP Registry (5)
- agent-receipts io.github.webaesbyamin/agent-receiptsEd25519-signed receipts for every AI agent action. Local-first, verifiable, no server required.
- AccordTraceTamper-evident proof creation and verification for AI agents via MCP, A2A, and REST.
- ActionProofTamper-proof audit trail for AI agents. Signed receipts, offline-verifiable, zero backend.
- AIﾉアカリ☆ Agent Trust ReceiptRead-only Remote MCP for externally grounded AI agent trust receipts.
- Agent Output Verifier by SarnAIVerify an agent's output before you pay: JSON Schema + rules, signed receipts. Free during launch.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and can put its remote endpoint on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.