- Análisis sintáctico y validación del código AgentSpeak
- Verificaciones de coherencia de creencias, deseos e intenciones BDI
- Detección de conflictos en planes y metas inalcanzables
- Informes detallados de errores y advertencias
- Soporte para integración por línea de comandos y API