audithub-orca-final-reporter

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

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 →
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

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.

Mots-clés
skillclaude