audithub-orca-counterexample-analyzer

SKILLFlujo de trabajocomunidad
v0.0.0VeridiseUnknownActualizado hace 6 dFuente →

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 →
23Estrellas del repo
1Clientes
1Formatos
hace 6 dÚltima actualización
Skill
AutorVeridise
Versión0.0.0
LicenciaUnknown
CategoríaFlujo de trabajo
Formatosskill.md
PromptNo publicado
Compatibilidad
Claude✓ Compatible
Cursor
Copilot
ChatGPT
Gemini
Acerca de

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.

Palabras clave
skillclaude