audithub-orca-counterexample-analyzer

SKILLFlusso di lavorocommunity
v0.0.0VeridiseUnknownAggiornato 1 mesi faFonte →

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 →
23Stelle del repo
1Client
1Formati
1 mesi faUltimo aggiornamento
Skill
AutoreVeridise
Versione0.0.0
LicenzaUnknown
CategoriaFlusso di lavoro
Formatiskill.md
PromptNon pubblicato
Compatibilità
Claude✓ Supportato
Cursor—
Copilot—
ChatGPT—
Gemini—
Descrizione

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.

Parole chiave
skillclaude

Nessuna copertura delle dipendenze

Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.