abstract-trace-summarizer
Performs abstract interpretation to produce summarized execution traces and high-level program behavior representations. Highlights key control flow paths, variable relationships, loop invariants, fun
Also installable via skills CLI
npx skills add ArabelaTso/Skills-4-SE/skills/abstract-trace-summarizer