QuixiAI 开源 Charter v0.3：可形式化验证的机构章程规范语言
QuixiAI · x · 2026-10-23
QuixiAI 公开了 Charter 仓库（v0.3.0），一个用 Lean 构建的「形式化验证机构规范、组合与投影语言」，定位是给章程、协议、规章等制度规则建模。
Charter 程序是 .charter 文件，声明角色、行为、事实与参数，逐条引用权威英文条款，并用小型声明式语法表达职责、权力与豁免。命令行可直接运行全部分析，作者无需懂 Lean：来源校验、法律与按角色视图、场景推演、反事实解释、AI 宪法提示词、智能合约守卫、修正案 diff 与参数扫描等。
「编程与Agent」频道最新
- OpenDS-World 发布真实网页深度搜索基准,前沿模型仍显著落后人类 — Xiaomin Yu · 2026-10-23
- 西交大研究:朴素 RAG 在 7 项记忆基准中 6 项击败复杂 Agentic 记忆系统 — XianJiaotongUniversity · 2026-10-23
- AI 助手主动请缨替人回帖监控舆情,网友直呼像地狱 — cnakazawa · 2026-10-23
- 用 Grok Build 生成的「网络效应合成器」：140 种网络效应分类画廊 — seanmcdonaldxyz · 2026-10-23
- Zig 显式内存分配为何适合写数据库：无 GC、分配可控、错误显式 — arpit_bhayani · 2026-10-23
- 11 天用 Claude Code 搭 Company OS：Slack 里跑起来的团队操作系统 — aakashgupta · 2026-10-23