Claude Marketplaces
tachyon-beep avatar

axiom-static-analysis-engineering

tachyon-beep/skillpacks

Use when building analyzers or rules whose traversal, abstract domain, unknown-call handling, termination, incremental cache or findings output must have explicit guarantees.

GitHub stars
14
View on GitHub

Install

/plugin install axiom-static-analysis-engineering@foundryside-marketplace

Run it inside Claude Code after adding the marketplace with /plugin marketplace add tachyon-beep/skillpacks.

Sponsors

SnugThe clipboard manager you and your agent can use, safelyAgent CaffeineClose your lid, come back to finished workWaxBlock anything with supervision, without erasing your iPhoneOpen StepsSponsoredFree and open-source skills that make AI coding agents easier to understand, verify, and control.

Details

Marketplace
tachyon-beep/skillpacks
Source
plugins/axiom-static-analysis-engineering
Category
development
Keywords
axiom, static-analysis, ast, abstract-interpretation, taint-analysis, dataflow, callgraph, linter, sarif, analyzer-engine, rule-engine, false-positive, ir-design, abstract-domain, decorator-as-assertion, manifest-coherence, incremental-analysis

More from tachyon-beep/skillpacks

All 52