gerlanss/Sema

# Sema

Sema 是一个 Codex 原生、本地优先的 AI agent 语义治理层。 Codex 是它的首个原生集成，而非其产品上限。Sema 将 人类意图转化为明确的合约、约束、影响分析、验证 执行和证据，而不是仅仅让 agent 依赖于 prompt 上下文。 `intent -> context -> contract -> constraints -> impact -> execution -> evidence` ## 在 2:58 内观看 Sema 的工作过程 https://github.com/user-attachments/assets/62308e14-7e57-4073-8945-c1801bf81498 你告诉 Codex 你想要什么。Codex 不需要在每次任务时重新发现整个代码库， 而是使用 Sema 的动态语义图来到达相关代码。 在这个真实的从红到绿的演示中，Sema 捕获了一个部分付款重命名，保留了 `receipt_id` 保证，并在关闭更改之前验证了合约、代码、测试、漂移和 文档。 **[在 YouTube 上观看](https://youtu.be/IXkIlC9FxIs)** | **[运行确定性证明](./docs/build-week-2026/judge-guide.md)** | [查看在 Build Week 期间的变化](./docs/build-week-2026/new-work.md) Codex 是 Sema 的第一个原生 agent 集成，软件是其第一个 试验场。相同的治理模型已经支持工作流、 运营、游戏、研究、法律审查、写作、提案、对话以及 其他系统，在这些系统中，agent 必须在实际更改中保持意图。 Sema 官方的 agent 表面是通过 `AGENTS.md` 的 Codex。Codex 将这个 文件作为跨其 CLI、IDE 扩展和桌面应用程序工作流的持久存储库指南加载。请参阅 [Codex `AGENTS.md` 文档](https://learn.chatgpt.com/docs/agent-configuration/agents-md)。 Sema 是一个独立的产品，不隶属于 OpenAI，也未获得其 认可。本仓库中的“官方”指的是 Sema 的官方产品方向， 而不是官方的 OpenAI 计划、集成或提交。 这个公开仓库有意将范围限定在本地 CLI 体验上。 它不发布私人或敏感的运营材料。 官方支持：[suporte@otimitare.online](mailto:suporte@otimitare.online) ## OpenAI Build Week 2026 Build Week 展示了开发者工具类别下的 **Sema —— AI agent 的语义治理层**。 它展示了一个具体的 Codex 工作流，其中 Sema 检测到语义漂移，保留了关键保证， 并端到端地验证了修复。 - [评委指南](./docs/build-week-2026/judge-guide.md) - [在 Build Week 期间构建的内容](./docs/build-week-2026/new-work.md) - [提交文案](./docs/build-week-2026/submission.md) - [可复现的演示框架](./showcase/build-week-2026/demo/README.md) - [演示和录制计划](./docs/build-week-2026/storyboard.md) - [公开发布套件](./docs/build-week-2026/launch-kit.md) ## Sema 的作用 Sema 使用 `.sema` 合约来描述模块、任务、输入、输出、规则、 保证、影响、指向实现文件的链接以及验证预期。 当前的 CLI 帮助 Codex 在接触项目之前回答实际问题： - 哪个合约适用于该更改； - 哪些文件可能会受到影响； - 代码和合约是否存在语义漂移； - 必须阅读或更新哪些文档； - 提议的更改有什么影响； - 合约是否可以生成起始代码或测试。 Sema 不会取代人工批准、平台政策、安全审查或法律 判断。它是一个用于范围、证据、漂移和质量的本地治理层。 ## 安装 ``` npm install -g @semacode/cli codex plugin marketplace add gerlanss/Sema codex plugin add sema@sema ``` 执行 `codex plugin add` 后，在目标仓库中打开一个新的 Codex 任务。插件 和技能目录会在任务启动时加载，因此已经打开的任务 不会追溯获得 `$sema`。在新任务中，调用 `$sema` 或让 Codex 初始化 Sema。该技能会创建握手，读取生成的 `AGENTS.md`，随后的任务会自动加载该协议。 要求： - Node.js 20 或更高版本； - 一个本地项目文件夹； - 在实现工作之前至少有一个 `.sema` 合约。 CLI 安装后即可直接运行。它不需要 Sema 登录、 用户授权、产品许可证检查、激活密钥、token、额度或 控制面板。仓库许可证仍然管辖使用和再分发； 它不是运行时激活门槛。 ## Codex 设置 CLI 是本地引擎和事实来源。`AGENTS.md` 是与 Codex 配合的 自动工作区协议。Sema 技能是尚未 拥有该协议的项目的必要引导程序：它教会 Codex 定位 CLI、运行初始化、生成 `AGENTS.md`，然后委托给它。 对于新项目： ``` sema iniciar --template base ``` 初始化会保留现有的项目文件。`--force` 仅用于 显式覆盖，引导技能绝不会自动使用它。工作区边界以下的符号链接和连接点将被拒绝。 对于现有的 Sema 项目： ``` sema sync-codex --json ``` 技能安装是明确且独立的：npm 包不会 写入 `CODEX_HOME` 或静默修改 Codex。 ## Codex 原生架构 - `AGENTS.md` 是唯一的官方客户端入口。 - Agent Context Pack schema 版本 6 使用 `entrypointCodex`、`codexNativo` 和 `cliLocalSemAutorizacao`。 - 在尚未拥有 Sema 的项目中，为首次接触安装 Sema Codex 技能。一旦 初始化，生成的 `AGENTS.md` 将拥有受治理的工作流，技能不会对其进行重复。 ## 本地工作流 从项目根目录使用 CLI： ``` sema --version sema resumo sema docs-impacto --intencao "describe the change" --json sema inspecionar contratos/sema/software.sema --json sema drift contratos/sema/software.sema --escopo modulo --json sema impacto contratos/sema/software.sema --alvo app.software --mudanca "describe the change" --json ``` 如果合约发生更改，请验证它： ``` sema validar contratos/sema/software.sema --json sema diagnosticos contratos/sema/software.sema --json ``` 在关闭更改之前，证明所需的文档已被阅读： ``` sema finalizar-mudanca \ --intencao "describe the change" \ --doc-lida AGENTS.md \ --doc-lida docs/documentation.md \ --json ``` ## 代码生成 Sema 可以从合约生成起始工件： ``` sema compilar contratos/sema/software.sema \ --alvo typescript \ --saida .tmp/sema-generated \ --estrutura modulos ``` 受支持的生成目标包括 TypeScript、JavaScript、Python、PHP、Dart、 Lua、HTML 和 CSS。生成的代码仍然受源 `.sema` 合约的治理。 ## 公开边界 公开的 Sema CLI 仅限本地： - 命令直接针对本地工作区文件系统执行； - 运行它们不需要登录、用户授权、产品许可证检查、激活密钥、token、 额度、计费服务或控制面板； - `AGENTS.md` 是官方的 Codex 入口点； - 公开包发布时不含密钥或私人运营状态； - 文档应使用英文编写以便公开发布。 如果你正在准备公开发布，请将私密和敏感材料排除在 仓库和生成的包之外。 ## 商业用途 Sema 是公开源代码，但它不是免费的商业转售资产。你可以根据 许可条款使用、研究、修改和分享 Sema，但你不得在未经 OtimiTare 书面许可的情况下转售它、 将其重塑为竞争产品、将其作为商业复制品提供，或 将其作为实质性的付费功能捆绑。 商业许可问题请联系 [suporte@otimitare.online](mailto:suporte@otimitare.online)。 ## 有用的命令 ``` sema ajuda-ia sema starter-ia sema prompt-curto contratos/sema/software.sema --json sema contexto-ia contratos/sema/software.sema --saida .tmp/contexto --json sema verificar contratos/sema/software.sema --saida .tmp/verificacao --json ``` ## 许可证 请参阅 [LICENSE](./LICENSE)。该许可证允许公开的非商业使用， 并禁止未经书面许可的商业转售或商业复制品。

标签：AI智能体, AI治理, MITM代理, rizin, 多模态安全, 契约验证, 数据可视化, 本地优先, 自动化攻击, 逆向工具