audithub-orca-property-discoverer

SKILLWorkflowCommunity
v0.0.0VeridiseUnknownAktualisiert vor 1 Mon.Quelle →

Discover English-language protocol properties for OrCa fuzzing. Use when a user wants real specifications after setup tuning, asks what invariants or temporal properties should hold, needs code/tests/docs reviewed for OrCa properties, or wants a properties.md handoff before [V] translation.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
23Repo-Sterne
1Clients
1Formate
vor 1 Mon.Letzte Aktualisierung
Skill
AutorVeridise
Version0.0.0
LizenzUnknown
KategorieWorkflow
Formateskill.md
PromptNicht veröffentlicht
Kompatibilität
Claude✓ Unterstützt
Cursor—
Copilot—
ChatGPT—
Gemini—
Über

Discover English-language protocol properties for OrCa fuzzing. Use when a user wants real specifications after setup tuning, asks what invariants or temporal properties should hold, needs code/tests/docs reviewed for OrCa properties, or wants a properties.md handoff before [V] translation.

Schlagwörter
skillclaude

Keine Abdeckung der Abhängigkeiten

Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.