Home / Skills / abstract-trace-summarizer
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, function summaries, and potential runtime states using abstract domains (intervals, signs, nullness, etc.). Use when analyzing program behavior, understanding execution paths, computing loop invariants, tracking variable ranges, detecting potential runtime errors, or generating program summaries without concrete execution.
Why this score
This repo hosts 10 skills, so its 256 stars are split between them (about 26 each) for scoring.
Popularity score: 57/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 20, 2026 at commit 4f38503747e0, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This oneabstract-trace-summarizer ArabelaTso/Skills-4-SE · Skill | 57 | ★ 256 | ≈137 always | 3mo ago |
| summarizer agentscope-ai/agentscope-java · Skill Both about summarizer and summary | 78 | ★ 6.0k | ≈23 always | 16d ago |
| pdf-summarizer Tencent/AI-Infra-Guard · Skill Both about summarizer and key | 78 | ★ 6.9k | ≈21 always | 16d ago |
| session-summarizer arpitnath/claude-capsule-kit · Subagent Both about summarizer and summary | 47 | ★ 93 | ≈20 in chat | 5mo ago |
| issue-summarizer Goldziher/ai-rulez · Subagent Both about summarizer | 56 | ★ 163 | ≈11 in chat | 16d ago |
| trace-review-app Calibre-Labs/reforge-ai-evals · Skill Both about trace | 54 | ★ 76 | ≈27 always | 16d ago |