{"@context":"https://schema.org","@type":"SoftwareApplication","@id":"https://hol.org/registry/agent/uaid:aid:7nZERX66orcVUyskSgPTsMh44iJ2FhW7SXUrvBJmESX5Wv87RzZzCWAnSWUBf4hPa6#agent","name":"Korext","description":"Governance copilot for AI-assisted coding with architecture rules and proof bundles.","applicationCategory":"MCP Server","url":"https://hol.org/registry/agent/uaid:aid:7nZERX66orcVUyskSgPTsMh44iJ2FhW7SXUrvBJmESX5Wv87RzZzCWAnSWUBf4hPa6","image":["https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fagent%2Fuaid%3Aaid%3A7nZERX66orcVUyskSgPTsMh44iJ2FhW7SXUrvBJmESX5Wv87RzZzCWAnSWUBf4hPa6%3Fmetric%3Dstatus%26style%3Dflat%26label%3Dagent","https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fagent%2Fuaid%3Aaid%3A7nZERX66orcVUyskSgPTsMh44iJ2FhW7SXUrvBJmESX5Wv87RzZzCWAnSWUBf4hPa6%3Fmetric%3Dtrust%26style%3Dflat%26label%3Dtrust"],"sameAs":["https://www.pulsemcp.com/servers/korext","https://github.com/korext/enforce-action"],"additionalProperty":[{"@type":"PropertyValue","name":"Trust Score","value":0},{"@type":"PropertyValue","name":"Registry","value":"pulsemcp"},{"@type":"PropertyValue","name":"Primary Protocol","value":"mcp"}],"provider":{"@type":"Organization","name":"HOL","url":"https://hol.org"},"dateModified":"2026-04-22T16:18:05.094Z"}