{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreighkhh7xqgvtc2q5eenjvggi4xszsdnxa35kxepldi3k56g6o3b5e",
    "uri": "at://did:plc:nnaxwirbqywidimahadp42bj/app.bsky.feed.post/3mjf7jr4uyip2"
  },
  "path": "/kodamai-solves-enterprise-ais-hardest-problem-making-autonomous-agents-provably-correct-at-scale/",
  "publishedAt": "2026-04-13T15:01:13.000Z",
  "site": "https://www.cityam.com",
  "tags": [
    "Product/Service"
  ],
  "textContent": "First Mills named as inaugural customer, deploying the world’s first mathematically verified agentic AI solution to strengthen food production and supply chain operations across Saudi Arabia",
  "title": "Kodamai Solves Enterprise AI’s Hardest Problem: Making Autonomous Agents Provably Correct at Scale"
}