Blog
Technical writing and announcements from IR Labs.
uok: verification for C codebases, now on your machine
September 1, 2026
uok verifies eligible claims from Agentic SQA reviews in your own environment: a developer checkout, a CI job or a coding-agent workflow.
Agentic SQA is live
August 8, 2026
Evidence-first verification for systems code, generally available and self-serve.
The evidence layer
July 30, 2026
Why Agentic SQA reports likely defects as claims with evidence and stays silent when nothing clears the bar.