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.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Compares two source sets and determines the appropriate semantic versioning to apply.
- php
- semver
- inspection
- ruleset
Django application that performs SAST and Malware Analysis for Android APKs
- android-security
- sast
- malware-analysis
- code-security
apicompat checks recent changes to a Go project for backwards incompatible changes