Corvid Blog

Notes from the team building a language where dangerous AI actions either compile with a proof or do not compile at all.

May 10, 2026 5 min read Micrurus AI

Corvid v1.0: compile-time AI safety, shipped

A programming language where dangerous AI actions either compile with a proof, or do not compile at all. We just shipped v1.0.