Featured
Launch OpenClaw on Hostinger in about 60 seconds and keep your agent live 24/7. Our referral link gives you 20% off, no coupon code needed.
Launch on Hostinger →Launch Hermes on Hostinger in one click, fully managed, no VPS knowledge needed. Use code ZACAARON10 for 10% off.
Launch on Hostinger →
Firecrawl crawls and scrapes any site into clean markdown for your agent. Get 1,000 free credits, and new users get 10% off their first purchase.
Try Firecrawl free →
QwikClaw sets up and runs an always-on OpenClaw agent for you. One click, no config files, no server setup.
Deploy now →
Context.dev gives your agents a single API to scrape, enrich, and extract live web data — no proxies, no parsers, no maintenance.
Start building free →
White-glove OpenClaw for founders and exec teams (4–50+ employees): we install, harden, integrate your tools, and maintain it — secured from day one.
Get it set up for you →
DataForSEO gives your agent live access to SERP results, keyword data, backlinks, and on-page SEO data through one API. New accounts get a $1 credit, good for up to 20,000 keyword or backlink lookups.
Try DataForSEO free →A flat monthly placement in front of developers actively installing AI tools. No lock-in, cancel anytime.
Advertise here →
axiom-static-analysis-engineering
foundryside-marketplace
Summary
Building static analyzers as engines: AST visitation patterns, taint-lattice (abstract-domain) design with monotonicity and finite height, three-phase inference (variable → function → callgraph) with termination proofs, plugin architecture for rules, false-positive economics with auditable suppression lifecycle, the static-vs-runtime boundary, callgraph construction (resolution rungs, dynamic features), cross-module flow with stub libraries, decorator-as-assertion (runtime + static dual enforcement), manifest-driven configuration with coherence validation, SARIF / CI integration, incremental analysis at scale, and LLM-assisted finding explanations as a pattern. v0.2 ships router + 13 sheets, 3 commands (/scaffold-analyzer, /design-tier-model, /design-rule-set), 2 agents (rule-designer, false-positive-analyst). Pattern pack — applies wherever you build an analyzer (linting, taint, contracts, governance, entity extraction).
Install to Claude Code
/plugin install axiom-static-analysis-engineering@foundryside-marketplaceRun in Claude Code. Add the marketplace first with /plugin marketplace add tachyon-beep/skillpacks if you haven't already.
Related plugins
Browse all →axiom-audit-pipelines
foundryside-marketplace
TDD-validated audit-grade decision pipelines: canonical encoding (RFC 8785 JCS), append-only decision logs, fingerprint chains (linked-hash and Merkle), HMAC and Ed25519 signed exports, immutable storage, decision provenance (inputs/ruleset/code closure), threat model for the log itself, retention reconciled with right-to-be-forgotten, partial replay from trail, performance budgets. 11 reference sheets, 3 commands, 2 agents.
Open plugin →axiom-determinism-and-replay
foundryside-marketplace
Architecture-level determinism and replay (router + 13 specialist sheets, 3 commands, 2 agents) - determinism-vs-reproducibility, seed governance, RNG isolation, snapshot strategy, divergence detection, replay infrastructure, concurrency strategies, floating-point policy, GPU determinism, external-effects substitution, canonical state encoding, property tests, and cost-of-determinism accounting; for RL substrates, multi-agent systems, multiplayer lockstep engines, and any simulation that must be re-run from inputs
Open plugin →axiom-devops-engineering
foundryside-marketplace
DevOps and platform engineering — the path from commit to healthy production: CI/CD pipelines and verification gates, zero-downtime deployment, infrastructure as code, container build hygiene, orchestration runtime, observability (metrics/logs/traces, SLI/SLO), incident response and on-call, release management and rollback, secrets and configuration, environment parity, DevSecOps and software supply-chain security, GitOps, and SRE/reliability. Router + 13 reference sheets, 3 commands (design-deployment, review-pipeline, audit-deployment), and 2 agents (deployment-strategist, pipeline-reviewer).
Open plugin →axiom-distributed-systems
foundryside-marketplace
Architecture-level distributed systems design (router + 13 specialist sheets, 3 commands, 2 agents) - consistency models and CAP/PACELC per operation, failure models and the eight fallacies, replication and quorums, consensus and coordination, partitioning and sharding, time/clocks/ordering, idempotency and deduplication, sagas and distributed transactions (with the outbox/inbox pattern), delivery and ordering semantics, resilience patterns, backpressure and flow control, fault-injection/linearizability/deterministic-simulation testing, and cost-and-when-not-to-distribute accounting; frames correctness-under-partition as a load-bearing architectural property. Composes with axiom-web-backend, axiom-devops-engineering, and axiom-determinism-and-replay; the most glaring architecture gap that those packs only graze
Open plugin →axiom-embedded-database
foundryside-marketplace
SQLite and DuckDB as application-embedded databases at production scale - PRAGMA discipline, schema migrations under SQLite's ALTER constraints, WAL tuning, transactions/isolation, single-writer concurrency, optimistic locking + claim leases, parameterized-SQL, JSON1, FTS5, DuckDB-for-OLAP, SQLCipher, backup/restore. Router + 13 sheets, 3 commands, 2 agents.
Open plugin →axiom-engineering-foundations
foundryside-marketplace
Universal software engineering methodology - systematic debugging, safe refactoring, code review, incident response, technical debt triage, codebase confidence building - 6 language-agnostic reference sheets
Open plugin →Skills by category
MCP servers by category
Marketplaces by category