📈 GH Trending Explorer 🎲 Surprise me

Search: static-analysis · clear

scanaislop / aislop

Catch and fix the code-quality issues AI coding agents leave behind - dead code, unsafe casts, swallowed errors, duplication, security risks, and more. 50+ deterministic rules across 10 language targets, with CLI, CI, and GitHub Actions. No LLM at runtime. MIT.

★ 694 TypeScript today
LukasNiessen / ArchUnitPython

ArchUnitPython is an architecture testing library. Specify and ensure architecture rules in your Python app. Easy setup and pipeline integration.

★ 666 Python 14d ago
Privado-Inc / privado

Open Source Static Scanning tool to detect data flows in your code, find data security vulnerabilities & generate accurate Play Store Data Safety Report.

★ 664 Python 6d ago
Aletheore / Aletheore

Evidence-grounded repository audit CLI - deterministic scanner, MCP server, live dashboard, and a GitHub Action that posts PR diffs.

★ 633 Python today
SonarSource / sonarlint-vscode

SonarQube extension for Visual Studio Code providing code quality and security feedback directly in the editor

★ 627 CSS today
Ericsson / CodeCompass

CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.

★ 614 C++ today
paladini / harness-score

Your AI coding agent is only as reliable as the harness around it. Measure that harness in seconds with harness-score.

★ 602 TypeScript today
pylint-dev / astroid

A common base representation of python source code for pylint and other projects

★ 586 Python today
TheOrcDev / shadscan

Deterministic UI audits for shadcn apps, built for your terminal, your CI, and your AI agent.

★ 556 TypeScript 6d ago
refactorfirst / RefactorFirst

Identifies and prioritizes Class and Package Cycles and Anti-pattens in Java & Kotlin codebases you should refactor first.

★ 548 Java 3d ago
shipmonk-rnd / dead-code-detector

💀 PHP unused code detection via PHPStan extension. Detects dead cycles, supports libs like Laravel, Symfony, Twig, Doctrine, PHPUnit etc. Can automatically remove dead PHP code. Able to detect dead code used only in tests. Finds unused methods, constants, properties and enum cases.

★ 529 PHP 7d ago
Cranot / roam-code

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.

★ 516 Python today
LukasNiessen / ArchUnitTS

ArchUnitTS is an architecture testing library. Specify and ensure architecture rules in your TypeScript app. Easy setup and pipeline integration.

★ 505 TypeScript 3d ago
houqp / sqlvet

Go fearless SQL. Sqlvet performs static analysis on raw SQL queries in your Go code base.

★ 501 Go 5d ago
pis10 / TraceSurface

发现藏在前端代码里的 API,验证未授权访问风险 · 动态浏览器追踪 × JavaScript 静态分析

★ 498 Python 5d ago
ejfkdev / ddc

Android DEX → Java decompiler in Rust, built for speed — full apps in seconds, queries in milliseconds. Progressive analysis, javac-verified output, every DEX version, multi-dex & XAPK/APKS/APKM containers.

★ 412 Rust today
XiantingWu / PQCensus

Evidence-grounded cryptographic inventory and post-quantum migration planning for software repositories. Local static analysis, zero mandatory runtime dependencies, SARIF and CycloneDX output.

★ 299 Python 1mo ago
Thworry / reposcope

README-first, evidence-backed analysis for understanding public GitHub repositories before adoption.

★ 284 TypeScript 6d ago
openqa-cn / codexqa

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.

★ 226 Python 17d ago
azrtydxb / procoder

Senior-developer discipline for AI coding agents. A commit gate that counts unchecked as failing, quality controllers that refuse to call unfinished work done, and a lessons loop that closes each escaped bug's class. One Go binary, no runtime deps, works with 20+ agents.

★ 210 Go 1d ago
scarletkc / seiso

A Markdown convention and linter for project docs written by AI and read by humans and agents

★ 184 Rust 7d ago
oooscoos / Benzi

Most coding agents grep and glob raw source into LLM's context window and hope the model is smart. Benzi compiles your codebase into a queryable map of calls, data flow, control flow and class hierarchy first; then it reads, explains, runs, edits and verifies your code using it. Includes a runtime tracer. 82.4% SWE-bench Verified for < $13.

★ 169 HTML 1d ago
Heyosseus / sloppy

Static analysis for the debt AI agents leave in PHP: 26 rules, Claude Code hooks, git-diff review, a Rector and Pint fix pass, Pest expectations, CI annotations and an MCP server. Deterministic, local, no LLM.

★ 160 PHP 1d ago
bgts-ai-org / bgts-context-engine

Deterministic code-graph context engine for AI coding agents - PostgreSQL + Apache AGE + pgvector, MCP & REST, no LLM in the loop.

★ 150 Python 1d ago
stijnswapped / Myrqen

Security testing that runs inside the coding agent you already use. Source-available, not open source.

★ 137 TypeScript 6d ago
Juror-AI / juror

Cheaper and better Greptile alternative runs on your own github actions.

★ 123 TypeScript 14d ago
yan-mc / dsh-normify

Normify · DSH 插件:把项目架构写成归一化的分形模块树,三层校验(写时 / 校验 / 冻结回执)、30 个 normify_* 工具 + normify-gen 技能,一键渲染单文件交互式架构图;支持伴随式开发(change_open → brief → check → 实施 → refresh → change_close)。

★ 117 TypeScript 1mo ago
Karansingh1999 / PIIFlow

Policy-aware static taint analysis for detecting sensitive-data flows into LLM APIs.

★ 115 Python 2mo ago
Yutong0711 / PARAPET

Turn a security or performance exposure into a reviewable decision

★ 95 Python 1mo ago
ooocooc / open-skill-sunset

Local, read-only audit for stale AGENTS.md, CLAUDE.md, and generic SKILL.md instructions.

★ 85 JavaScript 1mo ago
tool-bunker / code-buster

Code Buster reports dependency wiring, dead code, cycles, duplication, complexity, architecture-policy violations, feature flags, security and style heuristics, quality scores, and remediation plans.

★ 78 Rust 2d ago
typesafe-docs / iterleak

Go analyzer that reports iter.Pull and iter.Pull2 calls whose stop function can go uncalled and leak a goroutine.

★ 68 Go 22d ago
Berserk-hub150 / skillhawk

Catch dangerous AI agent skills before they catch you. Zero-dependency security scanner for Agent Skills, SKILL.md and MCP configs.

★ 65 JavaScript today
Emmimal / context-compiler

A pure-Python reachability and skeletonization layer that decides what a coding agent actually sees before a request reaches the API.

★ 63 Python 1mo ago
AgriciDaniel / anti-slop

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.

★ 63 Python 1mo ago
diyanbogdanov / emend

Verified AI dependency migrations. Finds which of your lines a version bump actually breaks, fixes them, and proves the result still compiles and passes your tests.

★ 56 TypeScript 12d ago
ctxrs / graf

graf is graphify, rebuilt properly in rust: 1000x faster search, 89x faster updates, and one native binary.

★ 48 Rust 28d ago
vuglll / EFDoctor

Local-first static analysis for EF Core: finds performance and correctness problems (SaveChanges in loops, unbounded queries, cartesian Includes, sync-over-async, unsafe raw SQL) with evidence and remediation.

★ 48 C# 1d ago
LE0-Lin / AgentConfigScore

Tamper-resistant regression gate for AI coding-agent instructions—AGENTS.md, CLAUDE.md, Cursor, Copilot, Gemini, and more.

★ 47 Python 1d ago
zygiu-zygis / basecoat-ui-mcp

Offline MCP server for Basecoat UI (shadcn/ui look, no React): templates, macro layouts, theming/dark-mode contract, static validation.

★ 46 TypeScript 6d ago
00200200 / repro-lens

Static reproducibility checks, experiment replay, and verification for ML pipelines.

★ 44 Python 3d ago
Romandredan / 1c-quality-gate

Контроль качества 1С-разработки для Claude Code: стандарты, принципы ООП и паттерны, XML метаданных, блокирующие гейты и проверяемый след прогона · Claude Code plugin for 1C:Enterprise (BSL) code quality: development standards, SOLID and design patterns, metadata XML, blocking session gates and a machine-readable evidence trail.

★ 42 JavaScript 1d ago

Load more →