AI you can actually check.

EcoKure builds deterministic truth-gates — small, open-source engines that verify AI claims about math, physics, chemistry, medicine, statistics and hardware with exact rules instead of vibes. No guessing, replayable receipts, MIT-licensed.

RESTORE · RENEW · REGENERATE

What is a DTL truth-gate?

Large language models are persuasive even when they're wrong. A Deterministic Truth Layer (DTL) gate is the opposite: a tiny, auditable program that takes a claim — an equation, a formula, a dose, a statistic — and returns an exact verdict with a sealed, replayable receipt. If the gate can't decide deterministically, it refuses to guess.

1

Extract the claim

ClaimGate splits AI output into individual, checkable claims and routes each one to the right engine.

2

Check it exactly

Each gate uses exact arithmetic, dimensional analysis, reaction balancing or explicit rules — pure Python stdlib, no model in the loop.

3

Seal a receipt

EvidencePack hash-stamps what was checked, by which tool, with what verdict — and ReplayGate can re-run it later to detect drift.

The open-source gate registry

Every gate is a public, MIT-licensed repository with real CI. Clone one, run it in seconds, audit the rules yourself.

DTL MathGate

Deterministic exact-arithmetic engine with replayable certificates. Stdlib-only.

MATH

UnitGate

Dimensional-analysis checker for physics equations. E=ma fails, F=ma passes.

PHYSICS

ElementGate

Chemistry validator — formula parsing, molar mass, reaction balance (atoms + charge).

CHEMISTRY

StatsGate

Catches impossible reported statistics: GRIM, SD-range, t/p-value consistency checks.

STATISTICS

MedGate

Medical safety verification demo — dose checks and lab ranges through explicit rules. Not a medical device.

MEDICAL

ChipGate

Structural sanity checker for Verilog RTL — undriven outputs, multi-driven signals, latch-inference risk.

HARDWARE

OrbitGate

Deterministic verification of orbital/satellite claims with replayable benchmark artifacts.

SPACE

TheoryGate

A determinizer for math/physics theory claims: exact verdicts, refuses to guess.

THEORY

ClaimGate

Paste an AI science claim; it extracts each claim, routes it to a gate, and seals an evidence pack.

ROUTER

EvidencePack

Reproducible receipts: what was checked, by which tool, with what verdict — hash-stamped JSON.

RECEIPTS

ReplayGate

Re-run sealed evidence packs and detect verification drift. Sandboxed, allowlisted replays.

REPLAY

ClaimLint

Lint READMEs and docs for unsupported AI/science/benchmark claims. CLI + GitHub Action.

DOCS

DTL Taxonomy

Open claim taxonomy + verdict schema for deterministic AI-output verification. PR-extensible.

STANDARD

DTL Verify

Independently test DTL and sign your verdict — a public registry of cryptographically-signed audits (SVR-1).

AUDITS

ClaimStack Demo

End-to-end: route a claim to a gate, check it, seal a receipt, replay it. Ties four gates together.

DEMO

JARVI3 — the workspace behind it all

Chat with AI, browse a verified news feed pulled only from named tier-1 outlets, watch a full YouTube-style video hub, play games, and run every truth-gate — in one place. Free to join.

AI ChatVerified NewsVideos & ShortsTruth-Gate LabsGamesGhost Mode privacy
Create your free account →