_b00t_
为AI智能体提供类型化上下文、技能库与验证框架的运行时操作系统。
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：_b00t_。 它的用途是：为AI智能体提供类型化上下文、技能库与验证框架的运行时操作系统。 完整的 Skill 内容见：https://321skill.com/skills/b00t/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
“作为客服助手，请先了解你的权限和可用工具。”，它会引导你运行 `b00t whoami` 和 `b00t blessing` 来明确角色边界。然后你说：“学习处理用户退款申请的技能”，AI通过 `b00t learn` 加载对应技能数据，解锁相关API工具，并在后续处理中，其输出的操作指令会经过预定义的语法和逻辑验证，确保符合业务流程。
介绍
b00t 旨在解决AI智能体在复杂任务中因缺乏结构化上下文、工具权限和验证机制而导致效率低下或行为不可控的问题。它是一个“循环治理框架”，通过一套类型化的数据系统（Datum）来定义智能体的身份、角色、可用技能和操作边界，将高成本的模型Token消耗聚焦于决策判断，而非重复探索基础规则。
使用时，开发者或智能体通过一系列确定性命令启动：b00t whoami获取身份与边界，b00t blessing生成工具授权清单，b00t learn按需加载任务所需技能，b00t task next获取待办任务。整个过程强调“无学习则无授权”，确保智能体仅在明确授权的范围内行动。
它特别适合需要构建可靠、可审计、且具备复杂工具调用能力的智能体开发者，尤其是那些关注智能体行为安全、可验证性以及希望将业务逻辑与模型推理清晰分离的团队。
建议在部署前，充分理解其基于类型系统（Datum）的权限和验证模型，并利用其内置的LSP工具和验证器（如Z3）对技能定义和工具调用进行严格检查，以确保智能体行为符合预期。
核心特点
核心区别在于将“类型系统作为操作系统”，所有能力（技能、工具、角色）都是具有严格模式（Schema）、生命周期和验证证据链的“类型化数据”（Datum），通过解码时语法约束（GBNF）和运行时形式验证（Z3）确保模型输出在结构上无法“说谎”或产生不可执行的操作。
注意事项
不适合追求快速原型、轻量级集成或对形式化验证、类型系统不熟悉的场景。
常见问题
b00t 和普通的Agent框架（如LangChain）有什么区别？
b00t 强调通过类型化数据和形式验证来强制约束和审计Agent行为，将安全与验证前置，而非仅提供工具调用链。
我需要学习Rust才能使用b00t吗？
不一定。虽然核心用Rust编写，但主要通过CLI和定义TOML格式的Datum文件来使用，高级定制和开发才需要Rust知识。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/b00t/raw/index.md 读取 _b00t_ 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/b00t/raw/index.md（查看排版版本）