audithub-orca-final-reporter

SKILLFlusso di lavorocommunity
v0.0.0VeridiseUnknownAggiornato 6 g faFonte →

Summarize final OrCa campaign results for Solidity protocols. Use after long OrCa runs or campaign completion to report confirmed findings, counterexample status, interesting call_metrics.json metrics, fuzzing efficiency, coverage gaps, residual risks, and recommended follow-up.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
23Stelle del repo
1Client
1Formati
6 g faUltimo aggiornamento
Skill
AutoreVeridise
Versione0.0.0
LicenzaUnknown
CategoriaFlusso di lavoro
Formatiskill.md
PromptNon pubblicato
Compatibilità
Claude✓ Supportato
Cursor—
Copilot—
ChatGPT—
Gemini—
Descrizione

Summarize final OrCa campaign results for Solidity protocols. Use after long OrCa runs or campaign completion to report confirmed findings, counterexample status, interesting call_metrics.json metrics, fuzzing efficiency, coverage gaps, residual risks, and recommended follow-up.

Parole chiave
skillclaude