Proof CLI (unofficial)
io.github.tsarlewey/proof-cli
About Proof CLI (unofficial)
Proof CLI (unofficial) is an MCP server published by the GitHub account tsarlewey. Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.
It runs on your own machine: your AI client starts it from the Docker (OCI) package ghcr.io/tsarlewey/proof-cli:0.4.0, with no version pinned.
It asks for one secret: PROOF_API_KEY. Give it a key with the least access that still works.
Version 0.4.0 was published on 25 October 2026, and the source code is public, so you can read it before installing.
Written from the registry entry. 7 automated checks on registry metadata: 4 pass, 0 warn, 0 fail, 3 info. How we check.
What it asks for
| Variable | Required | Secret | Description |
|---|---|---|---|
PROOF_API_KEY | Yes | Yes | Proof API key (https://dev.proof.com/docs/api-keys) |
PROOF_API_ENDPOINT | No | No | API base URL. Defaults to production; use https://api.fairfax.proof.com for the sandbox. |
Checks
| Check | Result | Detail |
|---|---|---|
| Source repository linked | Pass | https://github.com/tsarlewey/proof-cli |
| Version pinned | Pass | Every package has an explicit version |
| Secrets requested | Info | Asks for 1 secret: PROOF_API_KEY |
| Known package registry | Pass | All packages come from npm, PyPI, OCI, NuGet or MCPB |
| Namespace ownership | Info | Name verified via GitHub account tsarlewey |
| Registry text aimed at the AI | Pass | Description and settings contain no hidden characters or instructions to the AI |
| Code red flags | Info | oci packages are not read yet |
Popularity & health: 43 / 100
Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.
0 forks, 0 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.
What people say
No Hacker News threads link to its source code.
Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.
Facts
| Registry name | io.github.tsarlewey/proof-cli |
|---|---|
| Publisher | GitHub account tsarlewey |
| How the name is verified | Name verified via GitHub account tsarlewey. The registry ties the name prefix to that account or domain; it does not check the code. |
| Type | Local: runs on your machine from a package |
| Packages | oci ghcr.io/tsarlewey/proof-cli:0.4.0 no version given (stdio) |
| Version | 0.4.0 |
| Published | |
| Last updated | |
| Source repository | https://github.com/tsarlewey/proof-cli |
| Website | None linked |
| Category | Search & web (assigned by keyword rule, not by hand) |
Related servers in Search & web
- geogebra-mcp7/7Draw and edit geometry live on GeoGebra Calculator. Unofficial, not…
- Spotify MCP7/7Spotify Web API MCP: playback, library, playlists, search,…
- verify-atom7/7Signed proof of web observations for AI agents: Ed25519 proof…
- AtlaSent MCP Server6/7AtlaSent for AI agents: with an API key, actions wait for approval…
Proof Holdings7/8One API, all things verified — control, delegation, human approval,…- leanforge-mcp5/6Lean 4 theorem prover MCP: automated proof search, mathlib…