audithub-orca-counterexample-analyzer

SKILLWorkflowcommunauté
v0.0.0VeridiseUnknownMis à jour il y a 6 jSource →

Analyze OrCa counterexamples and classify real bugs versus specification issues. Use when OrCa reports violated [V] specs, a user provides counterexample sequences, traces, or failing artifacts, or when a campaign needs PoC guidance, Foundry reproduction planning, exploitability assessment, and writ

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
23Étoiles du dépôt
1Clients
1Formats
il y a 6 jDernière mise à jour
Skill
AuteurVeridise
Version0.0.0
LicenceUnknown
CatégorieWorkflow
Formatsskill.md
PromptNon publié
Compatibilité
Claude✓ Pris en charge
Cursor
Copilot
ChatGPT
Gemini
À propos

Analyze OrCa counterexamples and classify real bugs versus specification issues. Use when OrCa reports violated [V] specs, a user provides counterexample sequences, traces, or failing artifacts, or when a campaign needs PoC guidance, Foundry reproduction planning, exploitability assessment, and write-up material.

Mots-clés
skillclaude