Media
Articles, videos, and other resources about CodeLogician and logic-first AI.
Articles
Vibe Coding was phase 1. Logic-first AI is phase 2. It is here now.
How CodeLogician makes AI coding agents reason explicitly instead of guessing. The article explains the shift from vibe coding to logic-first AI—where the agent structures its understanding into formal logic and uses automated reasoning to explore consequences, returning concrete artifacts like edge cases and behavioral boundaries alongside every decision-critical result.
Videos
M&A Term Sheet Analysis with Imandra CodeLogician and Claude
Denis Ignatovich (Co-Founder, Imandra) and Paul Brennan (Chief Strategy Officer) build a reusable M&A advisory framework by feeding a real term sheet into Claude, extracting key entities, rules, and process flows, then using Imandra's formal verification to mathematically prove whether critical safeguards hold. The demo shows Imandra catching a flaw in the clawback mechanism—the kind of gap that could cost millions if missed in a live deal.