Content Trend Researcher

Claude Code-Agent-Erzeugungssystem, das benutzerdefinierte Agenten und Sub-Agenten mit erweiterter YAML-Frontmatter, Tools-Zugriffsmustern und MCP-Integrationsunterstützung gemäß bewährten Produktionsmustern erstellt

Apify JS SDK Dokumentation - Web Scraping, Crawling und Actor-Entwicklung

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.