xcoder-es/nomos

• 类型：github
• 标识：xcoder-es/nomos
• 链接：https://github.com/xcoder-es/nomos
• 主题：agent, risk
• 主分类：agent
• 形态：framework
• 分类：ai
• Stars：3
• 周增：+0
• 语言：Python
• 许可：NOASSERTION
• 最近提交：2026-08-11
• 简介：Formal framework for self-governing AI — Neural Parliament, Ulysses Contracts, Identity Layer. Reference implementation, Lean-verified proofs, Apache-2.0.
• 上次采集：2026-08-11
• 首次采集：2026-08-11
• 待LLM分类：否
• 成熟度：experimental
• 场景：自治AI、形式化、身份层
• 简介中文：自治 AI 的形式化框架——Neural Parliament、Ulysses Contracts、Identity Layer。提供参考实现与 Lean 验证的证明，Apache-2.0 许可。
• 来源文件：
• [GitHub Search]