Test Fixing

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.

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.

Cloud-Laborplatform für automatisierte Proteintests und -validierung. Verwenden Sie sie bei der Proteinentwicklung und bei der Bedürfnislage nach experimenteller Validierung, einschließlich Bindungsassays, Expressionstests, Thermostabilitätsmessungen, Enzymaktivitätsassays oder Proteinssequenzoptimierung. Verwenden Sie sie auch zum Einreichen von Experimenten über API, zum Verfolgen des Experimentstatus, zum Herunterladen von Ergebnissen, zur Optimierung von Proteinsequenzen für eine bessere Expression mit Hilfe von Rechenwerkzeugen (NetSolP, SoluProt, SolubleMPNN, ESM) oder zur Verwaltung von Proteinentwicklungsworkflows mit Nasslaborvalidierung.

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