Developer Tools●●●Banger
Aver – a language designed for AI to write and humans to review
Compiles to Rust and exports Lean proofs to make AI-written code auditable by humans.
Bold BetWizardryBig Brain
jasisz
743mo ago
Back to browse
GitHub Repository
Rust static-analysis security research platform for IFDS, Z3/Kani proof obligations, exploit-witness synthesis, and post-quantum provenance.
5 starsRust
The Janitor – A 58MB Rust static analyzer to block AI-generated PR slop
by GhrammR·Mar 4, 2026·3 points·2 comments
AI Analysis
●MidBig BrainBold Bet
Memory-mapped zero-copy scanning is clever, but 'block AI slop' is marketing over substance.
Strengths
- •Zero-copy architecture via mmap genuinely efficient for massive codebases (3.5M LOC in 33s).
- •Zombie dependency detection cross-references manifests against live symbol graph, catches hallucinated imports.
- •CycloneDX CBOM attestation on merge provides cryptographic audit chain (ML-DSA-65 + BLAKE3).
Weaknesses
- •'AI slop detection' is overmarketed; core feature is dead-code removal, which linters already do.
- •Requires GitHub App + SaaS, but core value proposition (static analysis) is commodity; SAST/linter market saturated.
Category
Target Audience
Platform engineers, security teams enforcing code quality gates on AI-assisted contributions
Similar To
Sonarqube · ESLint + custom rules · Semgrep
Similar Projects
Developer Tools●●Solid
Zenzic – A strict, heuristic-free Markdown static analyzer
Markdown linter with credential scanning in code blocks, exits hard on security findings.
Solve My ProblemNiche Gem
PythonWoods
3013d ago
Security●●●Banger
Anya – Offline static malware analysis (Rust)
Offline malware analysis at 250+ files/minute without uploading samples to VirusTotal.
WizardryDark HorseSolve My Problem
ElementMerc
111mo ago
Developer Tools●●●Banger
Gox – Strict static analyzer for Go designed for LLM-written code
Catches swapped string arguments in LLM code that standard linters miss completely.
Big BrainSolve My Problem
kidandcat
601mo ago
Productivity●●Solid
Merrilin.ai – Code blocks in your books, finally
Syntax-highlighted code blocks in EPUBs and PDFs, finally readable without squinting.
Niche GemCozy
stonecharioteer
103mo ago
Developer Tools●●●Banger
Unflutter – a static analyzer for Flutter/Dart AOT
Snapshot parsing as deterministic grammar—no VM needed, works across Dart versions.
WizardryBig BrainNiche Gem
kugutsumen
103mo ago