Warum Widersprüche unbemerkt bleiben.
Dokumente enthalten formale Zusammenhänge: Beträge, Fristen, Pflichten, Grenzen. Ob § 3 mit § 9 vereinbar ist — oder § 2 erlaubt, was § 7 verbietet —, ist am laufenden Text schwer zu erkennen und bleibt in umfangreichen Texten häufig unbemerkt.
Veritract übersetzt das Dokument deshalb in eine formale Struktur, die sich maschinell nachrechnen lässt. Bestätigte Zusammenhänge sind bewiesen; Widersprüche werden mit Fundstelle ausgewiesen.
Vom Vertragstext zum kompilierten Beweis.
Die Prüfung verläuft in drei Schritten; jedes Ergebnis bleibt bis zum Quelltext rückverfolgbar.
01Sprache → Struktur
Die Software erfasst die prüfbaren Angaben des Vertrags — wer was schuldet, bis wann, in welcher Höhe. Jede Angabe bleibt mit ihrer Fundstelle im Text verknüpft, auch bei gescannten PDFs.
02Mathematisch prüfen
Ein mathematisches Verfahren gleicht diese Angaben über alle Paragraphen hinweg ab: auf Vereinbarkeit von Beträgen, Fristen, Pflichten und gesetzlichen Mindestwerten.
03Maschinell beweisen
Das Ergebnis wird von einem unabhängigen Beweisprüfer (Lean 4) nachgerechnet. Die Beweisdatei ist Teil der Analyse und kann jederzeit erneut geprüft werden.
So sieht ein Befund aus.
Ein Dienstvertrag mit acht Paragraphen, in dem § 2 erlaubt, was § 7 untersagt. Die Analyse meldet den Widerspruch, belegt beide Fundstellen wörtlich und schlägt eine Korrektur vor:
§ 2 erlaubt die Vergabe von Unteraufträgen — § 7 verbietet sie.
Fundstelle § 2 „Der Auftragnehmer darf Unteraufträge vergeben.“
Fundstelle § 7 „Dem Auftragnehmer ist es untersagt, Unteraufträge zu vergeben.“
Der Widerspruch wurde für die Testsuite absichtlich eingebaut und exakt so gefunden. Befund, Empfehlung und Beweiszeile sind Originalausgaben der Analyse, redaktionell lediglich übersetzt.
Ein Verfahren, mehrere Regelwerke.
Das Verfahren ist nicht auf Verträge beschränkt: Regelwerke, die in Sprache formuliert sind, lassen sich grundsätzlich in dieselbe prüfbare Form übersetzen.
Verträge
Prüfung auf Widersprüche zwischen Klauseln: Beträge, Fristen, Pflichten, Haftungsgrenzen. Jeder Befund mit wörtlicher Fundstelle und Handlungsempfehlung; die juristische Bewertung bleibt beim Menschen.
Regulatorik In Arbeit
Abgleich gegen kodifiziertes Aufsichtsrecht — Basel III, MiFID II, BaFin. Jeder Verstoß wird mit dem Artikel der Norm belegt, nicht nur als Zahlenvergleich innerhalb des Dokuments.
Gesetze & Compliance Bald verfügbar
Dasselbe Verfahren ist auf weitere formalisierbare Regelmengen übertragbar; Verträge sind der erste Anwendungsfall.
Was das Verfahren von einer Einschätzung unterscheidet.
Beweis statt Konfidenzwert
Das Ergebnis ist eine Beweisdatei, die eine unabhängige Software nachrechnet — keine Wahrscheinlichkeitsangabe.
Belegt am Text
Jeder Befund nennt die wörtliche Fundstelle und eine Handlungsempfehlung. Ob und wie korrigiert wird, bleibt juristische Entscheidung.
Ausgewiesene Grenzen
Jede Analyse weist aus, welcher Anteil des Dokuments erfasst wurde. Bei geringer Abdeckung wird das Ergebnis entsprechend eingeschränkt gekennzeichnet.
Ablauf der Pilotprüfung.
01Einreichung
Sie senden den Vertrag als PDF oder Text per E-Mail. Bitte entfernen Sie vorab personenbezogene Daten (Namen, Adressen); für die Prüfung genügt der anonymisierte Text.
02Prüfung
Der Vertrag wird formalisiert und auf Widersprüche bei Beträgen, Fristen, Pflichten und regulatorischen Schwellen geprüft.
03Ergebnis
Sie erhalten alle Befunde mit Fundstellen und Empfehlungen sowie die Beweisdatei.
Bedingungen der Pilotphase.
Kosten und Gegenleistung
Die Teilnahme am Pilotprogramm ist unentgeltlich und unverbindlich. Erwartet werden ein echter, anonymisierter Vertrag und eine Rückmeldung zur Qualität der Ergebnisse. Veritract ist ein unabhängiges Projekt aus Deutschland in früher Entwicklungsphase.
Umgang mit Dokumenten
Angenommen werden ausschließlich entpersonalisierte Verträge — ohne Namen, Adressen oder andere personenbezogene Daten. Die Verarbeitung erfolgt in EU-Rechenzentren (Frankfurt); Inhalte werden weder für andere Zwecke genutzt noch zum Training von KI-Modellen verwendet. Jede Analyse wird einzeln von einem Menschen angestoßen. Auf Wunsch werden Dokument und Ergebnis nach Abschluss vollständig gelöscht.
Früher Stand. Veritract befindet sich in der Entwicklung. Die Ergebnisse der Pilotphase dienen der Erprobung und sind keine belastbare Zusicherung; sie ersetzen keine juristische Prüfung. Zu jedem Ergebnis wird ausgewiesen, welche Aussagen belastbar sind und welche nicht.
Häufige Fragen.
Ist Veritract eine Rechtsberatung?
Nein. Veritract ist ein Software-Werkzeug zur technischen Konsistenzprüfung. Wir zeigen Widersprüche und schlagen Korrekturen vor — die rechtliche Bewertung und die Entscheidung, welche Fassung gilt, bleiben bei Ihnen bzw. bei qualifizierten Juristinnen und Juristen.
Wie läuft die Prüfung genau ab?
Sie senden den anonymisierten Vertrag per E-Mail. Die Software erfasst die prüfbaren Angaben — Beträge, Fristen, Pflichten, Schwellenwerte —, jede verknüpft mit ihrer genauen Stelle im Text. Ein mathematisches Verfahren gleicht diese Angaben anschließend über alle Klauseln hinweg ab: Widerspruchsfreie Zusammenhänge werden zu einem Beweis in Lean 4; Widersprüche werden mit Fundstelle und Empfehlung aufgelistet. In der Pilotphase wird jede Prüfung einzeln angestoßen; mit etwas Bearbeitungszeit ist zu rechnen.
Was bekomme ich am Ende — und was kann ich damit anfangen?
Ein Zertifikat: jeder Befund mit seiner Fundstelle im Vertrag, zu jedem Widerspruch eine Empfehlung — sowie die Beweisdatei. Diese kann ein unabhängiger Beweisprüfer (Lean 4), Software, die nicht von uns stammt, erneut durchrechnen und bestätigen. Das Ergebnis hängt damit nicht von unserer Zusicherung ab, sondern ist selbst nachprüfbar.
Wie verlässlich sind die Ergebnisse?
Im jetzigen frühen Stand nicht so weit, dass Entscheidungen allein darauf gestützt werden sollten; die Ergebnisse unterstützen eine Prüfung, sie ersetzen keine juristische Bewertung. Zwei Grenzen sind wesentlich. Erstens beweist die Datei die innere Widerspruchsfreiheit des erfassten Teils, nicht des gesamten Vertrags; jedes Ergebnis weist aus, wie viel abgedeckt wurde. Zweitens befindet sich das Werkzeug in der Entwicklung: Zu jedem Ergebnis wird angegeben, welche Aussagen belastbar sind und welche nicht. Die Ergebnisse sind als zusätzliche Kontrolle zu verstehen, nicht als Urteil.
Was kostet der Pilot?
Die Teilnahme ist unentgeltlich und unverbindlich. Erwartet werden ein anonymisierter Vertrag und eine Rückmeldung zu den Ergebnissen.
Was passiert mit meinem Vertrag und meinen Daten?
In der Pilotphase nehmen wir ausschließlich entpersonalisierte Verträge entgegen — ohne Namen, Adressen oder andere personenbezogene Daten. Die Verarbeitung läuft ausschließlich in EU-Rechenzentren (Frankfurt); Ihre Inhalte werden nicht für andere Zwecke genutzt und nicht zum Training von KI-Modellen verwendet. Jede Analyse wird von einem Menschen angestoßen — nichts geschieht automatisch. Auf Wunsch löschen wir Dokument und Ergebnis nach Abschluss vollständig.
Wie unterscheidet ihr euch von anderer Vertrags-KI?
Die meisten Werkzeuge geben eine Wahrscheinlichkeit aus — eine Einschätzung, wie sicher etwas ist. Veritract übersetzt den Vertrag in eine prüfbare Form und beweist die Widerspruchsfreiheit des erfassten Teils: Das Ergebnis ist eine Beweisdatei, die eine unabhängige Software nachrechnet, kein Konfidenzwert. Widersprüche werden mit genauer Fundstelle und Empfehlung ausgewiesen.
Teilnahme am Pilotprogramm.
Das Pilotprogramm steht Kanzleien, Unternehmen und Privatpersonen offen. Die Teilnahme ist unverbindlich und vertraulich; die Einreichung erfolgt per E-Mail.
kontakt@veritract.de