Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof

En 3 lignesArticle de vérification formelle pour les compétences d'agents IA. Propose trois méthodes composables : analyse statique par interprétation abstraite, système de types raffinés pour les appels d'outils, et model-checking SMT borné. Implémentation open-source en JavaScript (framework enclawed) avec 53 tests unitaires.

Résumé généré par Claude — vérifié par l'humain