audithub-orca-final-reporter

SKILLWorkflowcommunity
v0.0.0VeridiseUnknownUpdated 1d agoSource →

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 →
23Repo stars
1Clients
1Formats
1d agoLast update
Skill
AuthorVeridise
Version0.0.0
LicenseUnknown
CategoryWorkflow
Formatsskill.md
PromptNot published
Compatibility
Claude✓ Supported
Cursor
Copilot
ChatGPT
Gemini
About

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.

Keywords
skillclaude