OverviewHistoryStatsSecurity
Security
Independent checks from skills.sh's audit partners.
Independent checks from skills.sh's audit partners.
Pass4 providerslatest audit May 7, 2026
Independent checks from skills.sh's audit partners.
This skill provides a structured framework for solving and verifying complex mathematical competition problems. It utilizes a multi-agent workflow to iterate on solutions, perform adversarial verification, and generate formatted PDF proofs. No security issues were detected during the analysis.
No alerts
No issues
Score: 93/100 · 2 sections analyzed