Fábrica de Agentes

Generar y mantener archivos AGENTS.md siguiendo la convención pública agents.md. Usar cuando se cree documentación para flujos de trabajo de agentes AI, guías de incorporación o cuando se estandaricen patrones de interacción de agentes en proyectos.

Valide que los esquemas OpenAPI, Swagger y GraphQL coincidan con la implementación del backend. Detecte cambios que rompan la compatibilidad, genere clientes TypeScript y asegúrese de que la documentación de la API permanezca sincronizada. Use cuando trabaje con archivos de especificación de API (.yaml, .json, .graphql), revise cambios en la API, genere tipos frontend o valide implementaciones de endpoints.

Experto en arquitectura sin servidor y dirigida por eventos de AWS basada en el Marco de Arquitectura Bien Diseñada. Usar cuando se construyan API sin servidor, funciones Lambda, API REST, microservicios o flujos de trabajo asincrónicos. Cubre Lambda con TypeScript/Python, API Gateway (REST/HTTP), DynamoDB, Step Functions, EventBridge, SQS, SNS y patrones sin servidor. Esencial cuando el usuario mencione sin servidor, Lambda, API Gateway, dirigida por eventos, procesamiento asincrónico, colas, pub/sub, o quiera construir aplicaciones sin servidor escalables con las mejores prácticas de AWS.

Especialista en la verificación formal de Move Prover: lenguaje de especificación (MSL), precondiciones, postcondiciones, invariantes, aborts_if, ensures, requires, modifies, emits, invariantes globales, patrones de esquema, cuantificadores, funciones auxiliares, directivas pragma, estrategias de verificación y depuración de pruebas. Se activa con las palabras clave: move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma.