StartClaims
Build claims that can be checked.
StartClaims turns evidence, rules, calculations, and proofs into verifiable chains of reasoning — from one claim to thousands. We bring formal methods from Lean — the interactive theorem prover used for machine-checkable mathematics and software verification — into claims about rights, resources, and scientific credit.
We also process Lean mathematical proofs as evidence when scientific controversies turn on whether a result follows from stated assumptions. This does not settle questions of interpretation or priority by itself; it makes the mathematical reasoning inspectable, reproducible, and open to challenge.
You can have a valid claim and still be unable to prove it
The evidence may be spread across contracts, messages, account histories, spreadsheets, and databases. The rules may be clear individually but hard to combine. Every new claimant can require the same work all over again. Important assumptions remain hidden in spreadsheets, documents, and expert knowledge.
StartClaims makes the chain explicit:
EVIDENCE → FACTS → RULES → DERIVATIONS → CLAIM
See what supports a conclusion. See what is disputed. See what is missing. Reproduce the calculation. Update the claim when the facts or rules change.
From plausible reasoning to checkable reasoning
Lean is a theorem prover used for machine-checkable mathematics and verified software. Its core idea is powerful: complex reasoning can be built with sophisticated tools, while a small trusted system checks whether the result follows from the stated assumptions. StartClaims applies that discipline to claims.
We do not reduce law or factual disputes to mathematics. We make the parts that can be formalized explicit, so professional judgment is easier to inspect, challenge, and reuse — see our technology.
Scientific credit claims
Scientific work also generates claims: who established a result, which proof supports it, what follows from a shared formal development, and how credit should be attributed when contributions or priority are disputed. StartClaims can process Lean proofs and their dependencies to help make those controversies concrete: which statements are proved, which assumptions are used, and where competing interpretations begin.
One theory. Thousands of individual cases.
Claims programmes often repeat the same rules and calculations while the underlying evidence remains personal to each claimant. StartClaims separates reusable logic from individual evidence, allowing claims to scale without losing their individual structure. See claim types for the domains we work in, or how it works for the process end to end.
Built from mathematics and claimant experience
StartClaims was founded by a mathematician working on data rights and algorithmic accountability, and a trade-union organizer representing platform workers — read more about the company and the team.