Show HN: I Built an LLM Engine, That Test LLM on Boolean Logic

Category: library

Tags: boolean-algebra, logic-verification, ai-agents

Score: 7.3/10 (Innovation: 7, Technical: 7, Documentation: 8, Utility: 7)

A Python engine for boolean algebra that verifies decision rules in AI agents, catching contradictions and tautologies via exhaustive enumeration in under 10ms. It uniquely benchmarks LLMs against the engine as ground truth, proving even large models hallucinate on simple logic, and offers a natural language layer that uses LLMs only for translation while the engine handles computation deterministically.

Target audience: backend devs, ai-engineers, data-engineers

Repository: https://github.com/Shrivastava-Aditya/boolean-algebra-engine · Python · AGPL-3.0 · 3 stars

View on Hacker News