nibli
A zero-hallucination symbolic reasoning engine — a hallucination firewall for the LLM era. nibli KR in — a human-readable predicate-call language — first-order logic out; every answer derived, never guessed, with a proof trace on every conclusion.