{"serverId":"mcp-registry/io.github.entradox/agent-ledger","tools":[{"name":"read_skill","fixed":{"name":"read_skill","description":"Read a product skill file by its skill:// URI.","inputSchema":{"type":"object","required":["uri"],"properties":{"uri":{"type":"string","description":"e.g. skill://<product>/<skill-name>/SKILL.md\n Get valid URIs from `skills_list_tool`."}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Read Skill"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":85,"tokensAfter":85},{"name":"skills_list_tool","fixed":{"name":"skills_list_tool","description":"List this product's skills. Each entry carries the SKILL.md URI,\nits name and description, verbatim frontmatter, and a per-file\nsha256 manifest. Read a body with `read_skill`.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Skills List Tool"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":83,"tokensAfter":83}],"toolsChanged":2,"tokensSaved":0,"todo":[{"tool":"ledger_revoke_secret","params":["agent_id","workspace_key"]},{"tool":"ledger_rotate_secret","params":["agent_id","workspace_key"]}],"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."}