Scanner engine for the agentic-security Claude Code plugin: SAST, SCA with reachability and CISA KEV, secrets, IaC, Haskell and Nix/NixOS, prompt-injection, MCP/agent-tool audit, authZ analysis, SBOM, compliance attestation, and more.
The scan engine behind Agentic Security, an autonomous security assurance platform (a Claude Code plugin and CLI) that pairs deterministic analysis with security agents and never treats an incomplete scan as a clean one. See how it works and trust and limitations. The engine provides: SAST, SCA with function-level reachability and CISA KEV, secrets, IaC, prompt-injection and MCP/agent-tool audit, auth/authZ analysis, SBOM/AI-BOM, and compliance evidence.
Haskell (.hs, .lhs, .hs-boot, .hsc, Cabal and Stack): SAST, taint, web routes and auth, privacy lineage, dependency inventory and SBOM, verified fixes.
Nix and NixOS (.nix, flakes, NixOS and Home Manager modules): effective-configuration analysis, host hardening, secrets and build-trust checks, dependency inventory and SBOM, verified fixes.
Both are scanned with no compiler, no nix binary and no network. Each capability is reported supported only from measured evidence of its own kind, and blocked when it needs a tool the measurement did not have; the corpus behind the figures is synthetic, so they describe robustness over those shapes, not arbitrary real-world code. Read the Haskell guide, the Nix and NixOS guide, installing on NixOS and the support record.
The repository's Nix flake packages the scanner with agentic-security, agentic-security-mcp and agentic-security-lsp binaries, and ships NixOS VM tests (checks.<system>.nixos-host).
More
Full documentation, the plugin, and the IDE integrations are in the repository README. License: PolyForm Internal Use 1.0.0.
Scanner engine for the agentic-security Claude Code plugin: SAST, SCA with reachability and CISA KEV, secrets, IaC, Haskell and Nix/NixOS, prompt-injection, MCP/agent-tool audit, authZ analysis, SBOM, compliance attestation, and more.