mythril-symbolic
Enables deep vulnerability detection in smart contracts using Mythril's symbolic execution analysis for enhanced security.
Install this skill
or
99/100
Security score
The mythril-symbolic skill was audited on Feb 25, 2026 and we found 1 security issue across 1 threat category. Review the findings below before installing.
Categories Tested
Security Issues
low line 304
External URL reference
SourceSKILL.md
| 304 | - [Mythril Documentation](https://mythril-classic.readthedocs.io/) |
Scanned on Feb 25, 2026
View Security DashboardInstall this skill with one command
/learn @a5c-ai/mythril-symbolicGitHub Stars 408
Rate this skill
Categorydevelopment
UpdatedMarch 29, 2026
openclawbackendsecurity-engineerbackend-developerdata-scientistdockergithubdevelopmentdata analytics
a5c-ai/babysitter