rafapra3008/cervellaswarm

🪟 - Verificar los protocolos de comunicación de los agentes de IA mediante tipos de sesión. Especificación formal con pruebas Lean 4, linter, formateador y LSP. Detecta puntos muertos y violaciones de roles antes de la implementación.