Why KNTRA exists
We replace opinions with proof.
Every blown deal and failed audit began as a confident answer that no one could check. We are here to end that.
Disasters look clean.
Until they don’t.
Inside any organization, information climbs a hierarchy of human filters. Everyone optimizes for the report, not for reality. By the time it reaches the people who decide, it has been smoothed, and the one contradiction that mattered is gone.
Then AI made it worse, answering with confidence from whichever version it happened to read. KNTRA began as a refusal: that in the work where being wrong costs the most, the truth should never be something you take on faith.
A proof, not a probability.
The whole record
We read the entire body of contracts, rules and data into one graph and check it as a single object, never a sample, never a careful read of the parts that seemed important.
Every contradiction located
Where the record cannot all hold at once, KNTRA returns the conflicting clauses with their exact source. A finding you can open, trace and act on, never a confidence score.
Deterministic by construction
The proof is mathematics, not judgement. The same input returns the same verdict every time, with no language model deciding what is true.
We built the part almost no one attempts.
The mathematics behind KNTRA is not new. It is some of the deepest, hardest-won work in the field, the spearhead of disciplines that almost never meet in one place: advanced mathematics, formal logic and formal verification.
What we built around it has never existed. We wired that spearhead into a single engine that proves an entire body of knowledge holds together, deterministically, and names the one contradiction that does not. The theorems are decades old. The machine is ours, with research roots at RWTH Aachen.
Your data is the company.
Your records are not files. They are the company itself: its deals, its risks, its secrets. Handing them to a model that learns from everyone is not a trade-off, it is a mistake you cannot take back.
So we built the opposite. Sensitive material never mixes with another customer’s, never trains a shared model, and never leaves Europe. Your data works for you, and answers to no one else.
A sealed EU instance
A dedicated, single-tenant instance on audited European infrastructure, processed in isolation. Nothing leaves it.
Nothing kept
We keep no copy of our own. Your records and their graph live inside your isolated instance, yours to keep or to delete, and nothing you bring ever trains a shared or a base model.
A person keeps the call
KNTRA surfaces the contradiction and its source. What to do about it stays a human decision.
Tom miashebhkoN
Founder, KNTRA
“I’m not building a tool. I’m building the proof every answer has to pass.”
A solo founder in Aachen, with research roots at RWTH Aachen. The whole machine built by one person since late 2025.
KNTRA’s scientific advisor is Marco Pegoraro, a researcher at RWTH Aachen’s Process and Data Science (PADS) chair and an ICT Young Researcher Award laureate in process mining on uncertain event data. KNTRA is backed by Google for Startups.
We would rather be checked
than believed.
Focused, four-week pilots for regulated teams. You bring the questions; KNTRA returns the proofs, each one traced to its source.