Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
An AI-powered security review GitHub Action using Claude to analyze code changes for security vulnerabilities.
🔰 Instant PHP quality checks from your console
- php
- static
- analytics
- code
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.