Runtime firewall for MCP and tool-augmented agents — descriptor integrity, static vetting, per-call policy, taint tracking, consent ledger
High-performance Static Application Security Testing (SAST) library for detecting security vulnerabilities through taint analysis
Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
Layer 2 risk primitives — generic guard + taint factories that two or more Packs already share. Sits between @adjudicate/core (Layer 1, kernel) and per-domain Packs (Layer 3).
Deep Python architecture analysis with automatic refactoring. Self-documenting CLI: every command's --help shows examples + the agent path, and errors carry a next-step hint. Visible semantic analysis: intra-file taint (incl. class methods) + dataflow + p
The open source taint analysis engine for the AI era.
Public Pack conformance harness — runs the kernel's invariant suite (taint protection, replay safety, intent-hash determinism, basis-vocabulary purity, guard ordering, default polarity) against any PackV0.
A fast, Semgrep-compatible code scanner written in Go. Supports pattern matching, taint analysis, and autofix across 20+ programming languages.
LLM-enhanced SAST analysis built on circle-ir
AI-powered static analysis CLI with LLM-enhanced vulnerability detection
ailc (AI Life Cycle): автономный оркестратор качества и безопасности кода как MCP-сервер. Обёртка скачивает готовый бинарь для вашей платформы и запускает его.
Static analysis engine that finds the security gaps a runtime library can't fix — grounded in real vibe-coded Next.js/Supabase mistakes.
Neuro-symbolic AI security plugin with taint-trace proof generation
Deterministic adversarial scenario generation (prompt-injection, taint-escalation, tool-scope-violation) that asserts a Pack's kernel-level defenses hold.