Claude Skill
modiqo/skillspec
SkillSpec 是一个开源 Rust 框架，通过医生风险报告、引导式导入、结构化合约和对齐证明，使 AI 智能体技能变得可遵循、可测试、可验证。
概览
Stars661
Forks52
语言Rust
最后更新2026-07-02
最近同步2026-07-03
仓库信息
拥有者modiqo
仓库skillspec
完整名称modiqo/skillspec
Repo ID1,274,822,133
GitHub 地址https://github.com/modiqo/skillspec
安装这个 Skill
git clone https://github.com/modiqo/skillspec.gitRegistry 信息
类型未知
质量分未知
验证状态inspection_error
最近验证2026-07-02
项目简介
SkillSpec 是一个开源的 Rust 框架，通过结构化合约、引导式导入、医生风险报告和对齐证明，使 AI 智能体技能变得可遵循、可测试、可验证。
英文描述
SkillSpec makes agent skills followable, testable, and provable with Doctor risk reports, guided imports, structured contracts, and alignment proof.
要点
- 医生风险报告用于技能安全分析
- 引导式导入实现结构化技能集成
- 结构化合约定义技能行为
- 对齐证明验证智能体合规性
- 基于 Rust 构建，确保性能与可靠性
使用场景
- 构建安全可验证的 AI 智能体
- 测试和评估智能体技能合规性
- 通过引导式导入集成第三方技能
- 为智能体部署生成风险报告
- 证明智能体行为与合约的对齐