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 rela

by ArabelaTso· Repository·other
Run in AgentAreaBrowse All Skills
Also installable via skills CLI
npx skills add ArabelaTso/Skills-4-SE/skills/abstract-domain-explorer

Source

Repo:github.com/ArabelaTso/Skills-4-SE
Path:skills/abstract-domain-explorer/SKILL.md(main)

Related in other

agent-memory-yamadashy-repomix

Use this skill when the user asks to save, remember, recall, or organize memories. Triggers on: 'remember this', 'save this', 'not...

by yamadashy
21,427

task-execution-engine

CLI tool for configuring and monitoring Claude Code

by davila7
18,218

qiuzhi

指导Claude按照二哥的风格撰写求职类文章，包括公司薪资爆料、年终奖盘点、求职攻略、offer选择建议等内容。

by itwanger
16,619
abstract-domain-explorer | AgentArea Skills