Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and supply-chain risks in Claude Code, Codex, and MCP skills before you install them.
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
TranslatedDesktop Android leak audit: permissions, endpoints, data flows, reversible fixes. Phone privacy audit: uses adb to scan an Android app's permissions, reporting endpoints, and data flows, and provides reversible remediation.
The tool to avoid various issues due to inconsistencies and inefficiencies between a database schema and application models.