Claude Skill
modiqo/skillspec
SkillSpec is an open-source Rust framework that makes AI agent skills followable, testable, and provable with Doctor risk reports, guided imports, structured contracts, and alignment proof.
Overview
Stars612
Forks52
LanguageRust
Last pushed2026-07-02
Last synced2026-07-03
Repository
Ownermodiqo
Repositoryskillspec
Full namemodiqo/skillspec
Repo ID1,274,822,133
GitHub URLhttps://github.com/modiqo/skillspec
Install this Skill
git clone https://github.com/modiqo/skillspec.gitRegistry
TypeUnknown
Quality scoreUnknown
Verificationinspection_error
Last verified2026-07-02
Summary
SkillSpec is an open-source Rust framework that makes AI agent skills followable, testable, and provable through structured contracts, guided imports, Doctor risk reports, and alignment proofs.
Chinese description
SkillSpec 通过医生风险报告、引导式导入、结构化合约和对齐证明，使智能体技能变得可遵循、可测试、可验证。
Key features
- Doctor risk reports for skill safety analysis
- Guided imports for structured skill integration
- Structured contracts defining skill behavior
- Alignment proof for verifying agent compliance
- Built on Rust for performance and reliability
Use cases
- Building safe and verifiable AI agents
- Testing and evaluating agent skill compliance
- Integrating third-party skills with guided imports
- Generating risk reports for agent deployments
- Proving alignment between agent actions and contracts