Abstract domain library

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/abstract-domain-library

Babysitter enforces obedience on agentic workforces and enables them to manage extremely complex tasks and workflows through deterministic, hallucination-free self-orchestration

Install

npx -y skills add a5c-ai/babysitter --skill abstract-domain-library

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

What its author says it does

Copied from the file, not written here

Library of abstract domains for static analysis and abstract interpretation

SKILL.md

1.3 KB, as published. Nobody here has run it

Abstract Domain Library

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