本サイトについて
デジタル庁が公開した法制度AI「源内」を、Pure Rust + 形式検証（Legalis-RS / OxiZ SMT）で再構築した cool-japan/oxigenai の検証環境です。約2,200法令・179,000条文に対する法令レポート生成・DSLコンパイル・政策シミュレーション・事実形式化が行えます。