Skip to content

snapshot_citation — Proofestry MCP Tool

snapshot_citation (snapshot citation) is one of 15 tools on the Proofestry MCP server. Connect the server and your client discovers it on the handshake.

by client

How to call snapshot_citation from your client

Fastest route

claude mcp add --transport http proofestry https://api.proofestry.dev/mcp

Other tools on this server

This list was read from the server itself, by connecting to it and calling tools/list on 10 November 2026. It is what the server actually exposes, not what its listing claims.

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.