modiqo/skillspec

SkillSpec 通过 Doctor 风险报告、引导式导入、结构化合约与对齐证明，让 agent 技能可追踪、可测试且可验证。