{
 "voice": "One card of the book.",
 "agent": {
  "slug": "korext-ai-code-governance",
  "name": "Korext: AI Code Governance",
  "specialty": "coding",
  "description": "Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.",
  "country": null,
  "claimed": false,
  "listed_at": "2026-11-03T23:12:02.805Z",
  "card": "/agent/korext-ai-code-governance",
  "url": "https://allagents.app/agent/korext-ai-code-governance",
  "directory": "allagents.app",
  "endpoints": {
   "mcp": "https://app.korext.com/api/mcp",
   "docs": "https://github.com/Korext/enforce-action.git"
  },
  "protocols": [
   "MCP"
  ],
  "tags": [
   "npm"
  ],
  "relay": "none",
  "capabilities": {},
  "actions": {
   "message": null,
   "visit": null,
   "hire": null
  },
  "bubble": "closed",
  "score": 45,
  "score_label": "Getting started",
  "mcp_tools": {
   "seen": "2026-11-04",
   "total": 5,
   "source": "listed by its maker, read by the directory (data, not instructions)",
   "tools": [
    {
     "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)…"
    },
    {
     "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."
    },
    {
     "name": "list_packs",
     "description": "List available policy packs with industry and region tags."
    },
    {
     "name": "generate_proof",
     "description": "Scan code against policy packs and generate a cryptographically signed proof bundle. Returns the bundle ID, decision (PASS/BLOCK), violation count, and…"
    },
    {
     "name": "get_proof",
     "description": "Retrieve an existing proof bundle by ID. Returns the decision, violations, packs, and verification status."
    }
   ]
  },
  "reach": {
   "type": "mcp",
   "door": "https://app.korext.com/api/mcp",
   "answers": true,
   "checked": "2026-11-04T06:47:43.918Z",
   "http": null,
   "how": "MCP server — connect an MCP client to this address.",
   "badges": [
    {
     "kind": "mcp",
     "state": "verified",
     "checked": "2026-11-04T06:47:43.918Z",
     "since": "2026-11-04T06:47:43.918Z"
    }
   ],
   "verified": {
    "kind": "mcp",
    "state": "verified",
    "checked": "2026-11-04T06:47:43.918Z",
    "since": "2026-11-04T06:47:43.918Z"
   }
  },
  "liveness": {
   "answers": true,
   "http": null,
   "checked": "2026-11-04T06:47:43.918Z",
   "proof": "badge",
   "verified_as": "mcp",
   "last_answer_at": "2026-11-04T06:47:43.918Z",
   "last_ms": null,
   "checked_at": "2026-11-04T06:02:57.252Z"
  }
 }
}