Depo ayrıntısı

lambda-alpha-labs/Graphenium

Relational codebase compiler and spec-driven containment engine for AI coding agents. Compiles polyglot repos (Rust, Python, TS, Go, C/C++, C#, Lean 4) into an AST-proven Datalog & Louvain index—enforcing virtual-AST pre-flight specs, zero-config modularity (ΔQ), and scope-creep gates via MCP & CI.

Rust MIT 24 Haziran 2026 son push 02 Kasım 2026 4 fork

ai-agents blast-radius code-graph code-intelligence coding-agents datalog developer-tools formal-verification lean4 mcp model-context-protocol provenance repository-graph rust software-architecture static-analysis treesitter

GitHub'da aç Site

Yıldız

27+3 · 59 gün

Commit · 28g

—

son 28 günde

Yazar · 28g

—

farklı katkıcı

Detaylı değerlendirme

Bu repo için detaylı değerlendirme henüz yapılmadı. Analiz, Ayarlar'daki uyum profilini hesaba katarak "bu işime yarar mı" sorusunu cevaplıyor. Bir kez çalışır; günlük koşular buna dokunmaz. Saatlik sınır var — bir kaynaktan en fazla 3 analiz.