📐 Axioma
AI代理的规范驱动开发框架。 Rigor超速。工程过于冲动。
Axioma是一个架构框架和方法论，旨在将AI代理转化为严谨的软件工程师。它建立在这样一个前提之上，即歧义是一种系统故障 规格（Spec） 是唯一不可谈判的真理来源。
______________________________________________________________________
💥 为什么选择Axioma？
如果你使用Vibe Coding迭代过一个项目，你可能会遇到这样的情况：你让人工智能代理添加一个新功能，它会悄无声息地添加 修改或中断 已经工作的功能。代理对系统的合约没有记忆——它看到代码并向前收费。
这就是Axioma要解决的问题。
有了Axioma，你不用和代码说话——你 讨论规格.用自然语言。您的系统行为在中定义 .spec.md 文件，并通过受控管道对其进行演化，其中：
- ✅ 每次更改的范围都明确到文件边界(
context_bounds). - ✅ 每个功能都有经过测试验证的验收标准 之前 实施。
- ✅ 一个敌对的审计员(*审查员*)拒绝模糊或过度的改变。
- ✅ 如果实施失败，系统 自动回滚.
Axioma是迈向未来的第一步，在未来，复杂系统是通过与规格聊天来构建的——安全、渐进、无回归。
______________________________________________________________________
🌟 愿景：代码奴隶与软件工程师
如今，人工智能辅助开发受到“过度活跃”的困扰：
- ❌ 当前状态（代理人作为代码奴隶）： 代理在完全理解问题之前编写代码，导致技术债务、幻觉和回归。
- ✅ Axioma（软件工程师代理）： 基于合同和🟢🔴🟢 周期（TDD for Agent）。 在没有事先验证逻辑、范围和可测试性的情况下，不允许编写单行代码。
______________________________________________________________________
🔄 公理流：振动编码与自主性
Axioma弥合了对话式头脑风暴（“Vibe编码”）和严格的软件工程（“火与遗忘”）之间的差距。它执行由专门代理调解的严格信任协议，并由关键代理划分 人类批准边界:
graph TD
User([Petición del Usuario]) --> A
subgraph "Fase 1: Vibe Coding (Chatbot Interactivo)"
A[The Archivist] -- MCP --> Repo[(Repositorio)]
A -.->|Aclarar Ambigüedad| User
A --> B[The Blueprint]
B --> Spec[.spec.md / Ledger]
B -.->|Refinar Diseño| User
end
Spec ===>|Frontera de Aprobación Humana| C
subgraph "Fase 2: Fire and Forget (Flujo Autónomo)"
C{The Censor} -->|Veto| A
C -->|Aprobado| J[The Justice]
J --> Tests((Tests))
Tests -->|Debe Fallar 🔴| M
M[The Mason] --> Src{src/}
Src -->|Tests Pasan 🟢| Done([Código Desplegable])
Src -->|Tests Fallan 🔴| M
end🎭 演员阵容：专业代理
Axioma通过一个具有不可谈判的角色和荣誉的代理层级运作：
🗣️ 聊天机器人/设计代理（第一阶段）：
- 档案管理员（上下文守护者）： 将不确定性降至零。采访用户，通过MCP分析存储库，并检测依赖关系。它没有假设；它问道。
- 蓝图（建筑师）： 将意图转化为结构化
.spec.md文件并定义夹具（合成数据）。
🤖 自主建设者（第二阶段）： 3\. 审查员（审计员）： 拥有否决权。如果规范不明确、范围太大或破坏了系统不变性，则拒绝该规范。 4\. 法官： 在允许任何实现之前，创建测试并确保它们失败（红色步骤）。它是真理的保证。 5\. 梅森（建造者）： 实现满足正义所需的最低代码的工匠。
______________________________________________________________________
🛠️ 技术栈
Axioma的设计是不可知的，但由高性能内核提供动力：
- 发动机： 谷歌人工智能SDK（Gemini 2.0+）。
- 能力： 本土的 模型上下文协议（MCP） 支持与文件系统、Git和运行时安全交互。
- 安全： 通过国家控制 账本 注入规范本身以实现完全可追溯性。
______________________________________________________________________
📂 项目结构
项目结构概述：
/your-project
├── .axioma/
│ └── prompts/ # Customizable Agent System Prompts
├── docs/specs/ # Source of Truth (.spec.md)
├── docs/fixtures/ # Synthetic data linked to specs
└── src/ # Implemented and validated code______________________________________________________________________
📚 深潜（建筑学）
如果你想了解Axioma背后的严格机制，请阅读我们的核心架构文档：
- 清单标准和分类账: 为什么
.spec.md是真理的唯一来源。 - 特工阵容: 深入了解每个专业代理的不变量。
- MCP集成与安全: 我们如何隔离访问以防止系统破坏。
- 红绿重构循环: 强制性TDD流程和自动
git rollback.
______________________________________________________________________
🤝 加入讨论（RFC）
Axioma目前是 RFC（征求意见稿）我们不仅仅是在寻找代码；我们正在寻找具有批判性思维和远见卓识的人才。
我们在找谁？
- 软件架构师 以帮助定义
.spec.md清单标准。 - 快速工程师 校准 *审查员* 以及其否决标准。
- MCP开发人员 构建安全的写访问服务器。
你相信人工智能编写工业级代码的未来吗？帮助我们定义标准。
👉 参与。
______________________________________________________________________
📄 许可证
该项目根据 Apache许可证2.0.