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.
npx skills add majiayu000/claude-skill-registry --skill abstract-domain-explorer --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Abstract Domain Explorer ## Overview This skill applies abstract interpretation to statically analyze programs using various abstract domains. It infers invariants, value ranges, and relationships between variables without executing the code. Different domains offer different trade-offs between precision and efficiency. ## Analysis Workflow Follow these steps to analyze programs with abstract domains: ### 1. Select Appropriate Domain(s) **Choose based on analysis goals:** **Interval Domain:** - Use for: Range analysis, bounds checking, array indexing - Precision: Low to medium - Cost: Very efficient - Example: Determine if x ∈ [0, 100] **Sign Domain:** - Use for: Sign analysis, division by zero detection - Precision: Low - Cost: Very efficient - Example: Determine if x is positive, negative, or zero **Congruence Domain:** - Use for: Modular arithmetic, alignment analysis - Precision: Medium (for specific patterns) - Cost: Efficient - Example: Determine if x ≡ 0 (mod 4) **Octagon Domain:** - Use for: Relational analysis, loop invariants with simple relationships - Precision: Medium to high - Cost: Moderate (O(n³) operations) - Example: Infer x ≤ y + 5, x + y ≤ 10 **Polyhedra Domai
- Overview
- Analysis Workflow
- 1. Select Appropriate Domain(s)
- 2. Initialize Abstract State
- 3. Apply Transfer Functions
- 4. Handle Loops with Widening
- 5. Refine with Narrowing (Optional)
- 6. Extract Invariants
- Analysis Examples
- Example 1: Range Analysis with Intervals
- Example 2: Relational Analysis with Octagons
- Example 3: Linear Relationships with Polyhedra
- Example 4: Modular Arithmetic with Congruence
- Example 5: Division by Zero Detection with Sign
What does the abstract-domain-explorer skill do?
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.
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill abstract-domain-explorer --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.