axioma (Axioma Framework)

📐 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通过一个具有不可谈判的角色和荣誉的代理层级运作：

🗣️ 聊天机器人/设计代理（第一阶段）：

1. 档案管理员（上下文守护者）： 将不确定性降至零。采访用户，通过MCP分析存储库，并检测依赖关系。它没有假设；它问道。
2. 蓝图（建筑师）： 将意图转化为结构化 .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背后的严格机制，请阅读我们的核心架构文档：

1. 清单标准和分类账: 为什么 .spec.md 是真理的唯一来源。
2. 特工阵容: 深入了解每个专业代理的不变量。
3. MCP集成与安全: 我们如何隔离访问以防止系统破坏。
4. 红绿重构循环: 强制性TDD流程和自动 git rollback.

______________________________________________________________________

🤝 加入讨论（RFC）

Axioma目前是 RFC（征求意见稿）我们不仅仅是在寻找代码；我们正在寻找具有批判性思维和远见卓识的人才。

我们在找谁？

• 软件架构师 以帮助定义 .spec.md 清单标准。
• 快速工程师 校准 *审查员* 以及其否决标准。
• MCP开发人员 构建安全的写访问服务器。

你相信人工智能编写工业级代码的未来吗？帮助我们定义标准。

👉 参与。

______________________________________________________________________

📄 许可证

该项目根据 Apache许可证2.0.