{"serverId":"mcp-registry/io.github.sipyourdrink-ltd/bernstein-mcp","tools":[{"name":"explain_receipt","fixed":{"name":"explain_receipt","description":"Verify a run receipt and narrate the result in plain language: what the run recorded, which chains recomputed, where the first divergence is, and what an auditor can and cannot conclude without the producing install's keys.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["receipt"],"properties":{"receipt":{"anyOf":[{"type":"string"},{"type":"object","propertyNames":{"type":"string"},"additionalProperties":{}}],"description":"The run receipt: pass the file contents as a string for byte-exact verification, or the parsed object."}}},"annotations":{"readOnlyHint":true},"title":"Explain a run receipt"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":174,"tokensAfter":174},{"name":"explain_trace_mapping","fixed":{"name":"explain_trace_mapping","description":"How a bernstein run maps onto a TRACE v0.2 Trust Record: one row per claim with the journal field it is sourced from and the rule that derives it. Pass a run receipt to fill in the rows its embedded journal can answer (subject, iat, model, data_class, policy digest, tool transcript) alongside the receipt's own verdict.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{"receipt":{"anyOf":[{"type":"string"},{"type":"object","propertyNames":{"type":"string"},"additionalProperties":{}}],"description":"Optional run receipt: the file contents as a string, or the parsed object."}}},"annotations":{"readOnlyHint":true},"title":"Explain the bernstein → TRACE mapping"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":189,"tokensAfter":189},{"name":"get_preset","fixed":{"name":"get_preset","description":"Every field of one compliance preset as bernstein v3.19.2 resolves it.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["name"],"properties":{"name":{"enum":["development","hipaa","regulated","standard"],"type":"string"}}},"annotations":{"readOnlyHint":true},"title":"Get a compliance preset"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":85,"tokensAfter":85},{"name":"list_adapters","fixed":{"name":"list_adapters","description":"The agent adapters bundled with bernstein v3.19.2: adapter name, the binary it drives, the module that implements it.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true},"title":"List agent adapters"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":58,"tokensAfter":58},{"name":"list_presets","fixed":{"name":"list_presets","description":"The compliance presets bernstein v3.19.2 ships, with the switches each one turns on.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true},"title":"List compliance presets"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":48,"tokensAfter":48},{"name":"server_info","fixed":{"name":"server_info","description":"Identity, version, and request limits for this MCP server.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true},"title":"Server info"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":41,"tokensAfter":41},{"name":"verify_receipt","fixed":{"name":"verify_receipt","description":"Recompute every hash chain a bernstein run receipt embeds (journal, lineage spine, optional audit range), rebuild the signed subject from the recomputed heads, and check the Ed25519 signature with the key the receipt carries. Needs no secret and reads nothing but the receipt. Returns the verdict, the first failing check, one line per check, and the same verdict as a DSSE envelope signed by this verifier's Ed25519 key (public key at keys_url) so the outcome can be kept and re-checked offline.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["receipt"],"properties":{"receipt":{"anyOf":[{"type":"string"},{"type":"object","propertyNames":{"type":"string"},"additionalProperties":{}}],"description":"The run receipt: pass the file contents as a string for byte-exact verification, or the parsed object."}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Verify a run receipt"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":250,"tokensAfter":250}],"toolsChanged":7,"tokensSaved":0,"todo":[{"tool":"get_preset","params":["name"]},{"tool":"verify_chain","params":["kind"]},{"tool":"verify_delegation_chain","params":["context"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}