Abstract Domain Library

SkillDev tools

Library of abstract domains for static analysis and abstract interpretation

Instructions available. Your AI can read the instructions. Execution depends on the setup they require.

Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.

Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.

Then ask your AI: use the Abstract Domain Library skill

What this skill tells your AI

The instructions your AI receives, as published by a5c-ai/babysitter in library/specializations/domains/science/computer-science/skills/abstract-domain-library/SKILL.md and read by ahel’s review.

Purpose

Provides expert guidance on abstract domains for abstract interpretation-based static analysis.

Capabilities

Interval domain
Octagon domain
Polyhedra domain
Congruence domain
Domain combination (reduced product)
Widening and narrowing operators

Usage Guidelines

Domain Selection: Choose appropriate abstract domain
Operations: Implement domain operations
Widening: Design widening for termination
Precision Tuning: Balance precision and efficiency
Combination: Combine domains for precision

Tools/Libraries

Apron
ELINA
Crab
Frama-C

Signals

GitHub stars: 2k
Forks: 112
Last commit: Sep 2026

Advanced

Item type: skill
Key: abstract-domain-library
Source: github.com/a5c-ai/babysitter

github.com/a5c-ai/babysitter