Agentenfabrik

Generieren und pflegen Sie AGENTS.md-Dateien entsprechend der öffentlichen agents.md-Konvention. Verwenden Sie dies bei der Erstellung von Dokumentation für KI-Agenten-Workflows, Onboarding-Anleitungen oder bei der Standardisierung von Agenten-Interaktionsmustern zwischen Projekten.

Validieren Sie OpenAPI-, Swagger- und GraphQL-Schemas auf Übereinstimmung mit der Backend-Implementierung. Erkennen Sie bruchlose Änderungen, generieren Sie TypeScript-Clients und stellen Sie sicher, dass die API-Dokumentation synchron bleibt. Verwenden Sie dies bei der Arbeit mit API-Spezifikationsdateien (.yaml, .json, .graphql), der Überprüfung von API-Änderungen, der Generierung von Frontend-Typen oder der Validierung von Endpunktimplementierungen.

AWS Serverless- und ereignisgesteuerte Architektur-Experte basierend auf dem Well-Architected Framework. Verwenden Sie es bei der Erstellung von Serverless-APIs, Lambda-Funktionen, REST-APIs, Microservices oder asynchronen Workflows. Deckt Lambda mit TypeScript/Python, API Gateway (REST/HTTP), DynamoDB, Step Functions, EventBridge, SQS, SNS und Serverless-Muster ab. Wichtig, wenn der Benutzer Serverless, Lambda, API Gateway, ereignisgesteuert, asynchrone Verarbeitung, Queues, Pub/Sub erwähnt oder skalierbare Serverless-Anwendungen mit AWS-Best Practices erstellen möchte.

Experte für die formale Verifizierung mit Move Prover – Spezifikationssprache (MSL), Preconditions (Vorbedingungen), Postconditions (Nachbedingungen), Invarianten, aborts_if, ensures, requires, modifies, emits, globale Invarianten, Schema-Muster, Quantoren, Hilfsfunktionen, Pragma-Direktiven, Verifizierungsstrategien und Debugging von Beweisen. Wird durch die Keywords move prover, formale Verifizierung, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma ausgelöst.