Linode-CLI

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

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.

AWS Cloud Development Kit (CDK)-Experte für den Aufbau von Cloud-Infrastrukturen mit TypeScript/Python. Verwenden Sie ihn, wenn Sie CDK-Stacks erstellen, CDK-Konstrukte definieren, Infrastruktur als Code implementieren oder wenn der Nutzer CDK, CloudFormation, IaC, cdk synth, cdk deploy erwähnt oder AWS-Infrastruktur programmgesteuert definieren möchte. Deckt die CDK-App-Struktur, Konstruktmuster, Stack-Zusammensetzung und Bereitstellungsprozesse ab.

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