Home / Skills / abstract-domain-explorer
abstract-domain-explorer
Applies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.
Why this score
This repo hosts 10 skills, so its 256 stars are split between them (about 26 each) for scoring.
Popularity score: 57/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 4f38503747e0, 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 oneabstract-domain-explorer ArabelaTso/Skills-4-SE · Skill | 57 | ★ 256 | ≈99 always | 3mo ago |
| explorer ZhangShenao/harness9 · Subagent Both about explorer | 58 | ★ 142 | ≈16 in chat | 16d ago |
| architecture-explorer arpitnath/claude-capsule-kit · Subagent Both about explorer | 47 | ★ 93 | ≈22 in chat | 5mo ago |
| api-shape-explorer zebbern/claude-code-guide · Skill Both about explorer and different | 76 | ★ 4.7k | ≈58 always | 17d ago |
| abstract-structure yogsoth-ai/de-anthropocentric-research-engine · Skill Both about abstract and domain | 61 | ★ 504 | ≈34 always | 16d ago |
| repomix-explorer yamadashy/repomix · Skill Both about explorer and understanding | 87 | ★ 29k | ≈66 always | 17d ago |