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.

Install with Tessl CLI

npx tessl i github:ArabelaTso/Skills-4-SE --skill abstract-domain-explorer

What are skills?

Review — 92%

Does it follow best practices?

Validation — 11 / 11 Passed

Validation for skill structure

SKILL.md

Review

Evals

Evaluation results

99%

Static Analysis Report for Buffer Fill Routine

Loop range analysis with widening and narrowing

Criteria

Without context

With context

Interval domain chosen

100%

91%

Constant init as exact

100%

Widening applied

100%

Narrowing applied

100%

Condition refinement

100%

Loop invariant reported

100%

Exit state reported

80%

100%

Precision limitations noted

100%

No unsound claims

100%

Without context: $0.5203 · 5m 8s · 18 turns · 25 in / 10,476 out tokens

With context: $0.8501 · 7m 39s · 25 turns · 64 in / 14,593 out tokens

100%

Safety Hazard Analysis for Sensor Computation Pipeline

Runtime safety violation detection

Criteria

Without context

With context

Input as top element

100%

Sign or interval for division

100%

Division by zero identified

100%

Interval for array bounds

100%

Array access safe verdict

100%

Domain selection justified

100%

Widening in loop

50%

100%

Precision limitations noted

100%

No expensive domain misuse

100%

Without context: $0.2322 · 2m 59s · 12 turns · 17 in / 4,051 out tokens

With context: $0.6865 · 5m 4s · 25 turns · 62 in / 7,101 out tokens

97%

Invariant Discovery for a Parallel Counter Simulation

Relational domain selection for variable relationships

Criteria

Without context

With context

Interval domain baseline

80%

70%

Interval limitation identified

100%

Relational domain applied

100%

Linear relationship discovered

100%

Octagon vs polyhedra distinguished

100%

Correct domain recommended

100%

Cost tradeoff discussed

90%

100%

Exit state reported

100%

Widening applied

100%

Without context: $0.4966 · 5m 10s · 20 turns · 26 in / 8,846 out tokens

With context: $0.9958 · 7m 5s · 25 turns · 29 in / 16,134 out tokens

Evaluated: about 11 hours ago
Agent: Claude Code

Table of Contents

Static Analysis Report for Buffer Fill Routine Safety Hazard Analysis for Sensor Computation Pipeline Invariant Discovery for a Parallel Counter Simulation

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.