{"id":"accbfce1-1713-4c10-b72f-e7a76e27c6b8","shortId":"ZGLN5c","kind":"skill","title":"Symbolic Execution Tools","tagline":"Hack Skills skill by Yaklang","description":"","tags":["symbolic","execution","tools","hack","skills","yaklang"],"capabilities":["skill","source-yaklang","category-hack-skills"],"categories":["hack-skills"],"synonyms":[],"warnings":[],"endpointUrl":"https://skills.sh/yaklang/hack-skills/symbolic-execution-tools","protocol":"skill","transport":"skills-sh","auth":{"type":"none","details":{"install_from":"skills.sh"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on skills.sh · published under yaklang/hack-skills","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:skill:v1","enrichmentVersion":1,"enrichedAt":"2026-05-07T22:41:08.757Z","embedding":null,"createdAt":"2026-05-07T20:41:40.962Z","updatedAt":"2026-05-07T22:41:08.757Z","lastSeenAt":"2026-05-07T22:41:08.757Z","tsv":"'category-hack-skills' 'execut':2 'hack':4 'skill':5,6 'source-yaklang' 'symbol':1 'tool':3 'yaklang':8","prices":[{"id":"d2dc26b4-9df4-434e-9e3f-5baa8d8f6cb5","listingId":"accbfce1-1713-4c10-b72f-e7a76e27c6b8","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"skill-free","isPrimary":true,"details":{"org":"yaklang","category":"hack-skills","install_from":"skills.sh"},"createdAt":"2026-05-07T20:41:40.962Z"}],"sources":[{"listingId":"accbfce1-1713-4c10-b72f-e7a76e27c6b8","source":"skills_sh","sourceId":"yaklang/hack-skills/symbolic-execution-tools","sourceUrl":"https://skills.sh/yaklang/hack-skills/symbolic-execution-tools","isPrimary":true,"firstSeenAt":"2026-05-07T20:41:40.962Z","lastSeenAt":"2026-05-07T22:41:08.757Z"}],"details":{"listingId":"accbfce1-1713-4c10-b72f-e7a76e27c6b8","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"org":"yaklang","slug":"symbolic-execution-tools","source":"skills_sh","category":"hack-skills","skills_sh_url":"https://skills.sh/yaklang/hack-skills/symbolic-execution-tools"},"updatedAt":"2026-05-07T22:41:08.757Z"}}