skillspec

让AI技能可测试、可证明，降低智能体风险。

SkillSpec 是一个用 Rust 编写的开源项目，旨在让 AI 智能体的技能（skills）变得可遵循、可测试、可证明。它解决了当前 AI 智能体技能定义松散、难以验证和评估的问题。核心能力包括：提供结构化的技能契约（contracts），使技能定义更严谨；支持引导式导入（guided imports），简化技能集成；生成 Doctor 风险报告（Doctor risk reports），对技能进行风险扫描；并提供对齐证明（alignment proof），确保技能行为与预期一致。该项目面向 AI 智能体开发者和平台，帮助提升技能的可信度和可维护性。