Developer Tools●●●Banger
Formal – LLM-driven property checker backed by Lean 4 and Mathlib
LLM-generated Lean 4 theorems that Mathlib actually proves — genuinely novel architecture.
WizardryBig BrainZero to One
yamafaktory
102mo ago
Back to browse
GitHub Repository
Witness-Centered Filter Layer for LLM Applications
5 starsPython
Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
by adyashakti·Jun 2, 2026·7 points·0 comments
AI Analysis
●●SolidBig BrainNiche Gem
Lean-verified philosophical axioms as LLM guardrails — genuinely novel architecture.
Strengths
- •Formal verification via Lean 4 for Śaṅkara's Advaita Vedānta axioms, not just heuristics
- •Honest LIMITS.md acknowledging claim extraction is heuristic while axioms are verified
- •Non-mutating evaluate() returns Verdict with reframes instead of blocking outright
Weaknesses
- •Extremely niche audience — who needs Advaita-based LLM filtering in production?
- •Zero stars and forks suggests early stage with unproven real-world utility
Category
Target Audience
AI developers building ethical guardrails, philosophy-focused ML researchers
Similar Projects
Developer Tools●●●Banger
Formal – LLM-driven property checker, backed by Lean 4 and Mathlib
LLM generates Lean 4 theorems from your code—formal verification without the PhD.
Big BrainWizardry
yamafaktory
102mo ago
AI/ML●●Solid
Keyterm Filtering for Voice AI
Cuts keyterm hallucinations by 60% before audio hits Deepgram.
Solve My ProblemNiche Gem
mayowa_osibodu
301mo ago
Developer Tools●●●Banger
Aim – AI-assisted verifiable SQL migration generator
Verifies AI-generated migrations against real ephemeral databases before writing them to disk.
Big BrainSolve My ProblemShip It
alecthomas
202mo ago
AI/ML●●●●Gem
Verified Deep Learning with Lean 4
Formally verifies ResNet and ViT architectures using Lean 4 proofs.
WizardryBig BrainNiche Gem
asparagui
601mo ago
Developer Tools●●●Banger
Pre-execution verification for LLM-generated agentic workflows
Type-safe AST verification for AI workflows before they corrupt your CRM or delete production data.
Big BrainSolve My Problem
jaredwaxman
453mo ago