re-angr
dslsdzc/rev-skillsSkill
angr 符号执行：符号化输入、求解。触发词：angr、符号执行、自动解题、constraint
Why this score
This repo hosts 10 skills, so its 178 stars are split between them (about 18 each) for scoring.
Popularity score: 62/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 20, 2026 at commit 1977504515d3, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This onere-angr dslsdzc/rev-skills · Skill | 62 | ★ 178 | ≈14 always | 24d ago |
| ap-re-anchor Spielewoy/autoprompt-skill · Subagent Both about re | 58 | ★ 1.2k | ≈25 in chat | 1mo ago |