{"serverId":"mcp-registry/io.github.korext/governance","tools":[{"name":"check_code","fixed":{"name":"check_code","description":"Check a code snippet against one or more policy packs. Returns violations with severity, governance context (CWE, MITRE, regulatory), and line numbers.","inputSchema":{"type":"object","required":["code"],"properties":{"code":{"type":"string","description":"The code snippet to check."},"packId":{"oneOf":[{"type":"string"},{"type":"array","items":{"type":"string"}}],"description":"Policy pack ID or array of IDs. Defaults to 'web'."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":132,"tokensAfter":132},{"name":"get_directives","fixed":{"name":"get_directives","description":"Get enriched policy directives and living standards for one or more policy packs. Returns rules with governance context (CWE, MITRE, regulatory references) for inference time enforcement.","inputSchema":{"type":"object","properties":{"packId":{"oneOf":[{"type":"string"},{"type":"array","items":{"type":"string"}}],"description":"Policy pack ID or array of IDs (e.g. 'web', ['web', 'pci-dss-v1']). Defaults to 'web'."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":129,"tokensAfter":129},{"name":"get_proof","fixed":{"name":"get_proof","description":"Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status.","inputSchema":{"type":"object","required":["bundleId"],"properties":{"bundleId":{"type":"string","description":"The proof bundle ID (kpb_...)"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":81,"tokensAfter":81},{"name":"list_packs","fixed":{"name":"list_packs","description":"List available policy packs with industry and region tags.","inputSchema":{"type":"object","properties":{"region":{"type":"string","description":"Filter by region (e.g. us, eu, uk, global)"},"industry":{"type":"string","description":"Filter by industry (e.g. finance, healthcare, defense, aerospace, energy, technology)"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":100,"tokensAfter":100}],"toolsChanged":4,"tokensSaved":0,"todo":[],"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."}