Que fait skillspec ?
SkillSpec rend les compétences des agents suivables, testables et prouvables grâce aux rapports de risque Doctor, aux importations guidées, aux contrats structurés et à la preuve d'alignement.
Pourquoi SkillSpec ?
Les compétences d'agents IA peuvent être imprévisibles. SkillSpec vous offre un cadre pour garantir que chaque compétence fait exactement ce qu'elle promet, en fournissant :
- Rapports de risque Doctor : Analysez les comportements potentiels avant exécution.
- Importations guidées : Instructions claires pour intégrer les compétences en toute sécurité.
- Contrats structurés : Définitions formelles des entrées, sorties et effets de bord.
- Preuve d'alignement : Vérification que la compétence respecte les intentions spécifiées.
Comment ça marche
- Définissez un contrat : Spécifiez les préconditions, postconditions et invariants.
- Générez un rapport Doctor : Obtenez une analyse des risques et des comportements non alignés.
- Importez avec guidance : Suivez les instructions pas à pas pour intégrer la compétence.
- Validez l'alignement : Utilisez les preuves fournies pour certifier que la compétence agit comme attendu.
Exemple d'utilisation
# Générer un rapport Doctor pour une compétence
skillspec doctor --skill ./ma-competence
# Importer une compétence avec guidance
skillspec import --skill ./ma-competence --guide
# Vérifier l'alignement
skillspec verify --contract ./contrat.yaml
Prérequis
- Node.js 18+ ou Python 3.9+
- Accès à un agent compatible (Claude Code, Cursor, etc.)
Installation
npm install -g @modiqo/skillspec
# ou
pip install skillspec
Documentation
Pour plus de détails, consultez la documentation officielle.
Licence
MIT