{"slug":"a5c-ai-mythril-symbolic","source_name":"a5c-ai/mythril-symbolic","name":"A5c AI/Mythril Symbolic","description":"Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.","version":1,"lift":{"pass_rate_delta_pts":18.18,"pass_rate_pct":22.7,"total_cases":22,"passed_cases":5,"tokens_delta_pct":96.8,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-01T01:53:24.141923+00:00"},"skill_score":0.2273,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":18.18,"with_pass_pct":22.7,"without_pass_pct":4.5,"tokens_delta_pct":96.8,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-01T01:53:24.141923+00:00","run_id":"b620e643-abbc-4970-99a9-2d16c2cacd9d","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"MIT","install_count":0,"manifest_hash":"3a7b94ed1b3a7f59404a52b8b5863dd5edd786de7bc2635c32e2e19ab967a472","raw_url":"https://app.decimal.ai/s/a5c-ai-mythril-symbolic/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/a5c-ai-mythril-symbolic"}