
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

A security focused static analysis tool for Android and Java applications.

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…

Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibility, --fix,…

Static analysis tool for infrastructure as code that detects cloud misconfigurations, vulnerabilities, and secrets across Terraform, Kubernetes,…

A fork of JSONPath from http://goessner.net/articles/JsonPath/

Pluggable linting tool to prevent committing credential.

Model Context Protocol server for autonomous vulnerability discovery

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

A TypeScript package that provides AI-powered agents for Application Security (AppSec) tasks, built on top of the frontier models.

Real-time npm/PyPI supply-chain threat detection. Behavioral chain analysis, AST scanning, IOC feeds, and compound scoring engine.

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

AI-powered Docker security scanner that explains vulnerabilities in plain English. An OWASP Lab Project.

Cross-platform library to parse, modify, and abstract ELF, PE, and MachO executable formats. Supports C++, Python, and Rust APIs with disassembler,…

UNIX-like reverse engineering framework and command-line toolset

AI-native code security auditor on AgentField that proves exploitability with verdicts, traces, and actionable evidence.

Rule-based Android malware scoring engine that analyzes APKs using static and dynamic analysis to detect vulnerabilities, identify malware families,…

Automatic security vulnerability remediation for your code.