Charter v0.3: a formally verified language for institutional rules with AI constitutional prompts
QuixiAI · x · 2026-10-23
QuixiAI open-sourced Charter v0.3.0, a Lean-based formally verified language for institutional rules (constitutions, protocols, charters, bylaws). A .charter file declares roles, acts, facts and parameters, quotes its authoritative English text clause by clause, and expresses duties, powers and immunities in a small declarative grammar. The CLI runs provenance checks, legal/per-role views, scenario evaluation, counterfactual explanations, AI constitutional prompts, smart-contract guards, amendment diffs and parameter sweeps — no Lean knowledge required.
More from coding & agent
- OpenDS-World launches live-web deep search benchmark, frontier models trail humans by large margins — Xiaomin Yu · 2026-10-23
- Naive RAG beats complex agentic memory on 6 of 7 benchmarks, XJTU study finds — XianJiaotongUniversity · 2026-10-23
- AI Assistant Offers to Draft Your Replies and Track Friends Daily — "Sounds Like Hell" — cnakazawa · 2026-10-23
- Dev uses Grok Build to model 140 types of network effects into a Moog-style synthesizer gallery — seanmcdonaldxyz · 2026-10-23
- Why Zig's explicit allocators make it a great fit for building databases — arpit_bhayani · 2026-10-23
- How to build a Company OS with Claude Code and Slack, after 11 days of building — aakashgupta · 2026-10-23