Shelby Network Rpc

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

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.

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.