Laravel Dusk

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.

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

Experte für das Testen von Move-Smart-Contracts auf Aptos, einschließlich Unittests, Integrationstests, Move Prover-formaler Verifizierung, Debugging-Strategien und Testabdeckung. Wird durch die Keywords move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect ausgelöst.