Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-repo workflows.
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWASP Mobile Security Weakness Enumeration (MASWE) weaknesses, which are in alignment with the OWASP MASVS.
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
Static Analyzer for Solidity and Vyper
Awesome autocompletion, static analysis and refactoring library for python
It's not just a linter that annoys you!
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Interactive architecture diagrams for codebases
A modular, stack-agnostic toolkit for AI coding agents to autonomously find, reproduce, and patch vulnerabilities.
ASC is a super FAST and lightweight Android decompiler designed for Agents/Mobile Researchers.
The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection โ papers across function-level, repository-level, agentic, and smart-contract detection, plus datasets, benchmarks, and surveys.
An analysis tool for Python that blurs the line between testing and type systems.
A reactive Python kernel for Jupyter notebooks.
Curated reverse-engineering tools and learning resources for binaries, apps, firmware, formats, and protocols.
APKHunt is a comprehensive static code analysis tool for Android apps that is based on the OWASP MASVS framework. Although APKHunt is intended primarily for mobile app developers and security testers, it can be used by anyone to identify and address potential security vulnerabilities in their code.
Open source local-first PR scanner that finds dead code, security bugs, secrets, quality regressions, and AI-code mistakes before merge. For first timers refer to https://duriantaco.github.io/skylos/repo-map/
mobsfscan is a static analysis tool that can find insecure code patterns in your Android and iOS source code. Supports Java, Kotlin, Swift, and Objective C Code. mobsfscan uses MobSF static analysis rules and is powered by semgrep and libsast pattern matcher.
ArchUnitPython is an architecture testing library. Specify and ensure architecture rules in your Python app. Easy setup and pipeline integration.
Open Source Static Scanning tool to detect data flows in your code, find data security vulnerabilities & generate accurate Play Store Data Safety Report.
Evidence-grounded repository audit CLI - deterministic scanner, MCP server, live dashboard, and a GitHub Action that posts PR diffs.
A GitHub :octocat: app to automatically review Python code style over Pull Requests
A common base representation of python source code for pylint and other projects
Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 commands, 246 MCP tools, change-safety gates, audit evidence, zero API keys.
ๅ็ฐ่ๅจๅ็ซฏไปฃ็ ้็ API๏ผ้ช่ฏๆชๆๆ่ฎฟ้ฎ้ฃ้ฉ ยท ๅจๆๆต่งๅจ่ฟฝ่ธช ร JavaScript ้ๆๅๆ
Evidence-grounded cryptographic inventory and post-quantum migration planning for software repositories. Local static analysis, zero mandatory runtime dependencies, SARIF and CycloneDX output.
codexqa: 11 local-first Agent Skills for Cursor, Claude Code, Codex & OpenClaw โ change impact analysis, AI code review, defect scan, testcase generation, browser replay & RCA.
Ablation is an autonomous reverse engineering system.
A practical Codex skill for evidence-backed repository health audits
Deterministic code-graph context engine for AI coding agents - PostgreSQL + Apache AGE + pgvector, MCP & REST, no LLM in the loop.
Policy-aware static taint analysis for detecting sensitive-data flows into LLM APIs.
Turn a security or performance exposure into a reviewable decision
Evidence-driven Java security review workbench
Code review via the change impact measure
A pure-Python reachability and skeletonization layer that decides what a coding agent actually sees before a request reaches the API.
Find and repair substance defects in AI-assisted prose, code, docs, and agent output. Reports defects, never authorship. Structural tests over model judgement, because LLM judges agree with human slop labels at chance.
Tamper-resistant regression gate for AI coding-agent instructionsโAGENTS.md, CLAUDE.md, Cursor, Copilot, Gemini, and more.
Static reproducibility checks, experiment replay, and verification for ML pipelines.
Get your repo ready for AI.
Autonomous agent that mines Java deserialization gadget chains from any JAR directory. Static bytecode analysis + dynamic JVM probes + dual-model adversarial auditing โ weaponized PoC. Solving the last mile.