<< Back to skill
──logic-of-programs-hoare — Security Report
Skilllogic-of-programs-hoare
Publisherjonatangs777
Repositoryjonatangs777/ai-skill-agent-control-deck-2026 →
OverallPASS

Scanned by verified-skill.com: 57 built-in patterns and 3 external static analysis tools (semgrep, njsscan, trufflehog). Dependencies enriched with Socket.dev supply chain scores. Public Snyk and Socket.dev reports linked where available.

──Scanning Pipeline
Security scan (57 pattern checks)
PASS90/100
Model review
PENDING
──Security scan details
VerdictPASS
Score90/100
Patterns52
Findings0
──External Intelligence

Not on npm — external intelligence is only available for skills published as npm packages.