Back to browse
GitHub Repository

Local pre-flight linter and architecture gate for AI agents. Uses tree-sitter, Stack Graphs, and Datalog to mechanically block structural drift, layering bypasses, and scope creep on virtual ASTs before code changes land.

16 starsRust

Avoid codebase sloppification and AI-generated spaghetti code

by Graphenium·Jul 12, 2026·3 points·0 comments

AI Analysis

●●SolidBig BrainSolve My Problem

Datalog solver blocks layer bypasses that prompts miss, but CI integration feels heavy.

Strengths
  • Virtual AST planning catches structural drift before files are touched.
  • External Datalog engine enforces rules independent of LLM context decay.
  • Deterministic scope-creep audits replace vague reviewer guesswork.
Weaknesses
  • Requires agents to declare intent upfront, breaking natural conversational flow.
  • Steep learning curve for writing Datalog policies compared to simple prompts.
Target Audience

Engineering leads managing AI-assisted teams

Similar To

ArchUnit · SonarQube · Semgrep

Similar Projects

Developer Tools●●Solid

Noodles – Turn any codebase into a diagram with Claude and Tree-sitter

Tree-sitter + agentic flow ~50x faster than raw LLM calls, but codebase visualization is crowded category.

Solve My ProblemShip It
unslop
604mo ago
Developer Tools●●Solid

A universal code formatter using Rust, Tree-sitter, and Rhai

Neatify exposes AST-level formatting as live Rhai scripts, so you write real code to shape output instead of tweaking a dozen JSON flags. The Tree-sitter backbone means any language with a grammar can be targeted, and the repo-first flavoring plus LLM-assisted script generation is a smart, practical twist. It's clearly early-stage (defaults modify files in-place and coverage is limited), but the architecture is an interesting alternative to opinionated, black-box formatters.

WizardryNiche Gem
its-a-new-world
234mo ago
Developer Tools●●Solid

Mapstr – AI-powered codebase mapper CLI

Tree-sitter + LLM codebase mapping, but Cursor, Continue, Sourcegraph already do this.

Solve My ProblemShip It
tahaio
104mo ago