May 7, 2026 · 6 min
OxigenAI 0.1.0 Released — Japan's Government Legal AI, Rebuilt in Pure Rust with Formal Verification
OxigenAI is a Pure Rust GovTech reimplementation of the Digital Agency's government legal-AI system (源内 / GenAI). It keeps the familiar law-report API but adds OxiZ SMT contradiction detection and Legalis-RS LegalResult<T> outcome classification — turning a probabilistic LLM+RAG service into a verifiable computational-law platform.
releaseoxigenaigovtech