- Analyse syntaxique et validation du code AgentSpeak
- Vérifications de cohérence des croyances, désirs et intentions BDI
- Détection de conflits entre plans et d'objectifs inatteignables
- Rapports détaillés d'erreurs et d'avertissements
- Intégration via ligne de commande et API