bernstein mcp MCP Tools
bernstein mcp exposes 11 tools. Each one has its own page with the configuration for every client that can run this server.
-
server_infoserver info
-
verify_receiptverify receipt
-
explain_receiptexplain receipt
-
verify_chainverify chain
-
verify_trace_recordverify trace record
-
verify_agent_manifestverify agent manifest
-
verify_delegation_chainverify delegation chain
-
explain_trace_mappingexplain trace mapping
-
list_presetsRead-onlylist presets
-
get_presetRead-onlyget preset
-
list_adaptersRead-onlylist adapters
This list was read from the server itself, by connecting to it and calling tools/list on 24 September 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.