Open Source · Für Code und für Office-Dokumente

Prüfen, was zählt.

Änderungen häufen sich schneller an, als jemand sie lesen kann: mit KI-Assistenten geschriebene Pull Requests, Budgets und Verträge, die durch viele Hände gehen. Probe vergleicht jede neue Version mit der, der Sie zuletzt vertraut haben, legt Ihnen die wenigen Änderungen vor, die Ihr Urteil brauchen, und zeigt, warum.

Neueste Version v0.5.1 · Befunde stammen aus festen Regeln, nicht aus einem Modell · KI optional.

Eine Person arbeitet ruhig an einem Schreibtisch in einem hellen Lichtkreis, mitten in einem Tunnel aus verhedderten Kabeln, Benachrichtigungen und Dashboards
19 / 125 Zeilen brauchen Sie Probe filtert den Rest.
Zwei Werkzeuge, eine Methode

Dieselbe Review-Methode für Entwickler und für Fachabteilungen.

Beide Werkzeuge gehen von der zuletzt geprüften Version aus, markieren riskante Änderungen mit festen, erklärbaren Regeln und halten fest, was geprüft wurde. Ein KI-Modell kann helfen, einen Befund zu erklären; es entscheidet nie, was markiert wird, und nichts verlässt Ihren Rechner, sofern Sie es nicht wollen.

Probe für Code

KI-geschriebene Pull Requests prüfen

Für Entwickler, Tech Leads und CI-Pipelines.

  • Ordnet einem Git-Diff Risikosignale zu: Authentifizierung, Zahlungen, entfernte Validierung, öffentliche APIs, Abhängigkeiten.
  • Führt Ihre Tests in Wegwerf-Containern aus und versucht, Probleme auf beiden Revisionen zu reproduzieren.
  • Prüft den Plan eines Agenten, bevor der Code existiert, und lässt konforme, risikoarme Änderungen dann mergen.
CLIHub (Docker)GitHub · GitLabGo · TypeScript · Python · Rust
Probe Desktop

Geteilte Office-Dokumente überwachen

Für Finanz-, Rechts-, Vertriebs- und Operations-Teams und alle, die Dateien teilen.

  • Verfolgt die Word-, Excel- und PowerPoint-Dateien Ihrer OneDrive- oder Google-Drive-Ordner.
  • Meldet eine durch eine Zahl ersetzte Formel, eine Summe, die nicht mehr alle Zeilen zählt, einen geänderten Betrag oder eine geänderte Frist, ein „muss“, aus dem ein „kann“ wurde.
  • Führt eine Liste der zu prüfenden Dokumente; nach der Prüfung wird eine Version zur Referenz für die nächsten Änderungen.
WindowsmacOSOneDrive · Google DriveWord · Excel · PowerPoint

Was brauchen Sie?

Probe für CodeProbe Desktop
Sie sindEntwickler, Reviewer oder Platform-TeamController, Jurist, Führungskraft oder Assistenz
Was sich ändertQuellcode, in Git-Commits und Pull RequestsWord-, Excel- und PowerPoint-Dateien in OneDrive oder Google Drive
Die ReferenzDer Basis-Branch des Pull RequestsDie letzte Version, die jemand als geprüft markiert hat
Worauf es achtetSicherheitsrelevanter Code, entfernte Validierung, API- und Abhängigkeitsänderungen, fehlschlagende oder fehlende TestsFest eingetragene Formeln, verkleinerte Bereiche, geänderte Beträge, Daten und Pflichten, ausgeblendete Blätter oder Folien, Makros
NachweiseIn einer Sandbox ausgeführte Prüfungen, reproduzierte Probleme, ein Bericht in JSON und MarkdownVorher und Nachher jeder markierten Änderung und wer zuletzt gespeichert hat
Wie es läuftEin Kommandozeilenwerkzeug in Ihrem Terminal oder Ihrer CI oder der Hub für ein ganzes KontoEine Anwendung in der Taskleiste oder der Menüleiste, die im Hintergrund überwacht
Probe Desktop · Für Dokumente

Geteilte Dateien ändern sich unbemerkt. Erkennen Sie, was zählt.

Ein Budget, das durch fünf Hände geht, ein Vertrag, den die Gegenseite überarbeitet hat, eine Vorstandspräsentation, die am Vorabend aktualisiert wurde. Niemand liest alles noch einmal, und niemand sollte das müssen. Probe Desktop überwacht die Ordner, die Ihr Team bereits nutzt, und zeigt Ihnen die Änderungen, die eine Zahl, eine Verpflichtung oder eine Berechnung verändern – mit Vorher und Nachher.

  • Sieht, was die Änderungsverfolgung nicht zeigt. Eine Formel, die stillschweigend durch ihren Wert ersetzt wurde, eine Summe, die eine Zeile zu früh endet, ein unsichtbar gemachtes Blatt.
  • Funktioniert dort, wo Ihre Dateien schon liegen. Wählen Sie einen auf Ihrem Computer synchronisierten OneDrive- oder Google-Drive-Ordner. Keine Migration, kein Add-in, kein Konto.
  • Bleibt auf Ihrem Computer. Dokumente werden lokal verglichen. Eine KI-Erklärung ist optional und erhält nur die markierten Auszüge und die Passagen, die noch einen ersetzten Namen oder Begriff verwenden.
Probe Desktop · 2 Dokumente zu prüfen
  • X Ein Bereich in der Formel wurde verkleinert: Einige Zellen werden nicht mehr gezählt Budget 2026.xlsx · Budget!B1 · hoch

    =SUM(A1:A3)

    =SUM(A1:A2)

  • X Eine Formel wurde durch ihren Wert ersetzt: Die Zelle aktualisiert sich nicht mehr Budget 2026.xlsx · Budget!D2 · hoch

    =A2*2

    400

  • W Eine Pflicht wurde abgeschwächt Supplier contract.docx · Absatz 2 · hoch

    The supplier shall deliver before 15/03/2026.

    The supplier may deliver before 15/03/2026.

  • W Ein Betrag oder Prozentsatz wurde geändert Supplier contract.docx · Absatz 3 · hoch

    The price is set at €12,000 excluding VAT.

    The price is set at €15,000 excluding VAT.

Probe für Code

KI-Assistenten schreiben große Pull Requests in kurzer Zeit. Probe sagt Ihnen, welche Zeilen Sie zuerst lesen sollten: Es ordnet dem Diff Risikosignale zu, führt Ihre Prüfungen in Wegwerf-Containern aus, versucht Probleme mit differenziellen Tests zu reproduzieren und übergibt Ihnen einen fokussierten Review-Plan mit nachvollziehbaren Belegen. Ein Kommandozeilenwerkzeug für Windows, Linux und macOS und ein Docker-Hub für ein ganzes GitHub- oder GitLab-Konto. In 2 Minuten ausprobieren →

Probe für Code · Der Prozess

Kennen Sie die Auswirkungen, bevor der Code existiert. Prüfen Sie nur, was Sie braucht.

KI-geschriebener Code wird vorhersehbar, wenn der Agent seine Arbeit vorher ankündigt. Probe misst das Risiko des Plans, bevor Code geschrieben wird, und prüft dann, ob die Änderung genau das Angekündigte umgesetzt hat. Eine Änderung, die einem risikoarmen Plan folgt und ihre Prüfungen besteht, kann gemergt werden, ohne dass ein Mensch den Diff liest; alles andere geht mit Begründung ins Review.

  1. Planen und Intent prüfen

    probe plan lässt den Agenten die Änderung schreibgeschützt simulieren. Feste Regeln, nicht das Modell, markieren kritische Pfade, Änderungen an öffentlichen APIs und Abhängigkeiten sowie viel genutzten oder ungetesteten Code. Ein markierter Plan geht an einen Menschen, bevor Code geschrieben wird.

  2. Ein Agent programmiert den Plan

    Der Plan wird zum Vertrag: die Dateien, Symbole und Abhängigkeiten, die der Agent anfassen darf. Er setzt genau das um, und nur das.

  3. Konformität prüfen

    probe review --plan bewertet den Plan neu, führt die Prüfungen in der Sandbox aus und vergleicht den Diff mit dem Vertrag: Jede ungeplante Datei, jede nicht angekündigte API-Änderung, jeder kritische Pfad und jede Abhängigkeit wird gemeldet.

  4. Mergen oder prüfen

    Konforme Änderung, risikoarmer Plan, Prüfungen bestanden, sonst nichts markiert: kein menschliches Review erforderlich, Exit-Code 0, die Pipeline mergt. Andernfalls Exit-Code 2: Ein Mensch prüft den Pull Request, ausgehend von den aufgeführten Gründen.

Exit 0 Merge

  1. Der zum Zeitpunkt des Reviews neu bewertete Plan hat keine Risikokategorie ausgelöst und wurde vollständig gemessen.
  2. Der Diff bleibt innerhalb des Plans: keine ungeplante Datei, API, kein kritischer Pfad und keine Abhängigkeit.
  3. Alle Prüfungen bestanden; kein hohes Signal, kein reproduziertes Problem, kein nicht verifizierter Bereich.

Exit 2 menschliches Review

  1. Der Plan berührt etwas Kritisches, Öffentliches oder viel Genutztes oder konnte nicht gemessen werden.
  2. Die Änderung ist vom Plan abgewichen.
  3. Eine Prüfung ist fehlgeschlagen oder der Bericht hat etwas gefunden, das man sich ansehen sollte. Jeder Grund wird aufgeführt.
# 1. before coding: plan, and let a human validate a flagged plan
probe plan --intent-file task.md --ci
# 2. the agent implements .probe/PLAN.json
# 3-4. in CI: conformance, checks and the gate (exit 0 = merge, 2 = review)
probe review --base origin/main --plan .probe/PLAN.json --ci
Plan conformance: conforming; 0 high, 0 medium, 0 low differences from the plan.
Plan gate: no human review required (low-risk plan, conforming change, checks passed, nothing else requests review).

Das Gate ist eine Prozessentscheidung, kein Korrektheitsbeweis: Ihre vertrauenswürdige Policy entscheidet, was kritisch ist und welche Tests laufen, und jeder Zweifel schickt die Änderung zu einem Menschen. Wie das Gate entscheidet.

Tests, vet, Build und Coverage waren für diese Änderung alle erfolgreich. Sie hat aber auch die Validierung des Erstattungsbetrags entfernt und der Support-Rolle erlaubt, Erstattungen auszulösen. Probe hat beides an die Spitze des Review-Plans gesetzt, unter 19 markierten von 125 Zeilen.

Probe für Code · Warum es Zeit spart

Schluss damit, KI-generierte Diffs von oben nach unten zu lesen.

Das Aufwendige am Review eines KI-gestützten Pull Requests sind nicht die riskanten Zeilen. Es ist, sie zwischen den Hilfsfunktionen, Tests und Dokumenten drumherum zu finden und dann herauszufinden, ob ein Verdacht begründet ist. Probe übernimmt diese Sortierung und sammelt die Belege, bevor Sie den Diff öffnen.

Ohne Probe jede Zeile, gleiche Aufmerksamkeit

  1. Den Branch auschecken und Tests, vet und Build von Hand ausführen.
  2. 125 geänderte Zeilen in Dateireihenfolge lesen, Hilfsfunktionen zuerst.
  3. Mit Glück bemerken, dass ein Validierungsaufruf aus einem Erstattungspfad verschwunden ist.
  4. Einen Wegwerf-Test schreiben, um herauszufinden, ob es darauf ankommt.
  5. Freigeben, ohne festzuhalten, was tatsächlich geprüft wurde.

Mit Probe Risiko zuerst, Belege dabei

  1. Die Prüfungen sind bereits in einem isolierten Container gelaufen, mit Protokollen und Hashes.
  2. Den Bericht öffnen: 19 markierte Zeilen, nach Schweregrad sortiert, mit Begründungen.
  3. Mit payment/refund.go beginnen, wo der Bericht die entfernte Validierung zeigt.
  4. Den optionalen Reviewer versuchen lassen, das Problem auf Basis und Kandidat zu reproduzieren.
  5. Die Berichte in Markdown und JSON als Nachweis des Reviews aufbewahren.

Weniger, das zuerst gelesen werden muss

Ein deduplizierter Review-Umfang, gezählt in tatsächlich geänderten Zeilen, sodass große generierte Änderungen auf die Teile schrumpfen, die Authentifizierung, Zahlungen, Validierung, Abhängigkeiten oder öffentliche APIs betreffen.

Kein lokales Setup pro PR

Ihre Test-, Typecheck-, Build- und Coverage-Befehle laufen in Wegwerf-Containern ohne Netzwerk. Nichts vom Kandidaten wird auf Ihrem Rechner ausgeführt.

Wissen, wann Schluss ist

Nicht verifizierte Bereiche und unvollständige Prüfungen werden ausdrücklich aufgeführt, und --ci macht daraus einen Exit-Code. Sie wissen, was abgedeckt wurde und was noch Ihr Urteil braucht.

Probe für Code · Beispielbericht

Was Sie statt des rohen Diffs öffnen

Auszug aus .probe/CONFIDENCE_REPORT.md, erzeugt mit probe review HEAD~1..HEAD --reviewer=false --ci (v0.3.0) auf einem kleinen Shop-Repository. Der Commit fügte Katalog-Hilfsfunktionen mit Tests hinzu, überarbeitete Erstattungen und berührte die Autorisierung. Es wurde kein KI-Anbieter verwendet.

.probe/CONFIDENCE_REPORT.md
## Change Summary
120 additions / 5 deletions · 5 files changed
Exit code: 2. No confidence percentage is assigned.

## Automated Checks1
- PASS test      (check-1; exit 0; 5982 ms)
- PASS typecheck (check-2; exit 0; 4866 ms)
- PASS build     (check-3; exit 0; 2835 ms)
- PASS coverage  (check-4; exit 0; 6416 ms)

## Reproduced Issues2
No issue was reproduced by a passing baseline
and failing candidate experiment.

## Suggested Human Review3
- high auth/auth.go:7 (new): Authentication or
  authorization function body changed
- high payment/refund.go:21–22 (new): Payment-sensitive
  function body changed
- high payment/refund.go:25–26 (new): Exported Go
  declaration added; Payment-sensitive function body changed
- high payment/refund.go:21 (old): Configured sensitive
  path changed; No nearby test file changed;
  Possible input validation removed
- medium catalog/format.go:9 (new): Exported Go
  declaration added
  … 11 more medium signals in catalog/

## Review Surface4
Focused review: 19 / 125 changed lines.

## Changed-line Execution5
Of 67 added Go lines, 44 were executed at least once,
0 were not executed, 23 are not inside any
instrumented block.
  1. Die Prüfungen sind erledigt, und sie sind nicht die Antwort. Jeder konfigurierte Befehl war in einem isolierten Container erfolgreich. Genau deshalb kommt es auf den Rest des Berichts an.
  2. Belege, keine Meinungen. Ein reproduziertes Problem erfordert einen Test, der auf der Basis besteht und auf dem Kandidaten fehlschlägt. Ohne KI-Anbieter wird hier nichts behauptet, und der Bericht sagt das auch.
  3. Ihre Lesereihenfolge. Hohe Signale zuerst: Eine Autorisierungsregel und ein Erstattungspfad wurden geändert, und ein Validierungsaufruf wurde ohne Teständerung in der Nähe entfernt. Genau dort steckt der Bug.
  4. Der Umfang der Arbeit. 19 von 125 geänderten Zeilen tragen ein Signal. Lesen Sie diese zuerst und entscheiden Sie dann, wie viel vom Rest Aufmerksamkeit verdient.
  5. Eine Beobachtung, kein Beweis. Der neue Erstattungscode lief während der Tests, doch kein Test prüft die Betragskontrolle. Probe meldet die Ausführung, stellt sie aber nie als Beweis dafür dar, dass der Code getestet ist.
Probe für Code

So funktioniert es

  1. Unveränderliche Commits vergleichen

    Beide Refs werden zu Commit-IDs aufgelöst. Umbenennungen, Löschungen, Binärdateien und die Merge-Basis-Semantik werden berücksichtigt; nur committete Dateien werden geprüft, sodass lokale Änderungen nie ins Ergebnis gelangen.

  2. Risikosignale sammeln

    Go-AST-Vergleich, gekennzeichnete lexikalische Heuristiken und Regeln für sensible Pfade markieren Authentifizierung, Zahlungen, Abhängigkeiten, entfernte Validierung, unsichere Konstrukte und fehlende Tests in Go, TypeScript/JavaScript, Python und Rust.

  3. In einer Sandbox ausführen

    Ihre Test-, Typecheck- und Build-Befehle laufen als argv-Arrays in Wegwerf-Containern ohne Root und ohne Netzwerk, mit CPU-, Speicher-, PID- und Zeitlimits.

  4. Reproduzieren statt behaupten

    Ein optionaler Reviewer schreibt temporäre Tests. Ein Test, der auf der Baseline besteht und auf dem Kandidaten fehlschlägt, stützt ein reproduziertes Problem; alles andere bleibt UNVERIFIED.

Vom ersten Versuch bis zu jedem Pull Request

Probieren Sie es an Ihrem letzten Commit aus, ohne Konfiguration, ohne Docker und ohne API-Schlüssel. Wenn Sie es einführen, committen Sie eine Policy in Ihren Basis-Branch: Sie wird aus der Basis gelesen, sodass ein Pull Request seine eigenen Regeln nicht lockern kann.

Zur Anleitung „Erste Schritte“ →

# try it: compare with the previous commit
probe lint HEAD~1..HEAD

# adopt it: once, in your repository
probe init
git add .probe.json && git commit -m "Add review policy"

# on every pull request
probe review --base main --ci
Probe für Code · Docker

Oder für ein ganzes Konto betreiben: Probe Hub

Der Hub ist das begleitende Docker-Image. Starten Sie einen Container, melden Sie sich mit GitHub oder GitLab an, und jedes Repository, dem noch eine .probe.json fehlt, erhält mit einem Klick einen Policy-Vorschlag, den Sie vor dem Commit in den Standard-Branch in einer Vorschau sehen.

Repositorys mit Policy können überwacht werden: Jeder neue Commit wird analysiert, und sein Bericht öffnet sich von selbst. Ein Schweregrad-Regler filtert die Warnungen von niedrig bis kritisch, und ein Klick auf eine Warnung klappt alle betroffenen Änderungen auf, mit den markierten Zeilen hervorgehoben im Diff.

Ein Docker-Container, keine Datenbank, kein externer Dienst – so kann ein Unternehmen ihn intern für die eigene GitHub-Enterprise- oder GitLab-Instanz bereitstellen. Im Standardmodus führt er den analysierten Code nie aus.

Gehostet unter app.probe.technology – dasselbe Image, das Sie in Ihrem eigenen Netzwerk betreiben können.

# one container, on your own network
$ docker run -p 8080:8080 \
    -e PROBE_HUB_BASE_URL=https://hub.example.com \
    -e PROBE_HUB_GITHUB_CLIENT_ID=... \
    -e PROBE_HUB_GITHUB_CLIENT_SECRET=... \
    -v hub-data:/var/lib/probe-hub \
    gvinsot/probe-hub

Sign in · bootstrap the missing policies · watch pushes
Reports open by themselves, filtered by severity.
Probe für Code

Funktionen

Fokussierter Review-Umfang

Deduplizierte Review-Bereiche mit alten und neuen Koordinaten, gezählt in tatsächlich geänderten Zeilen, nach Schweregrad sortiert.

Differenzielle Nachweise

Generierte Tests laufen auf Baseline und Kandidat in frischen Umgebungen. Die Go-Ausführung wird anhand strukturierter Testereignisse verifiziert.

Ausführung geänderter Zeilen

Optional messen, welche hinzugefügten Go-Zeilen ein aufgezeichneter Lauf ausgeführt hat – als Beobachtung gemeldet, nie als Testnachweis.

Auswirkungsanalyse

Ein statischer Index für Go, TypeScript/JavaScript, Python und Rust listet die unveränderten Aufrufer jeder geänderten Funktion und die vorhandenen Tests, die sie erreichen.

Tests auf beiden Revisionen

Betroffene und geänderte Baseline-Tests, differenzielles Fuzzing und Mutation hinzugefügter Zeilen laufen auf Basis und Kandidat und werden als Nachweis aufgezeichnet, nie als Urteil.

Erst planen, dann den Umfang prüfen

probe plan bewertet den Plan eines Agenten, bevor Code existiert; --plan markiert dann jede Datei und jede exportierte API, die die Änderung ohne Ankündigung berührt hat.

Begrenzter KI-Reviewer

Verwenden Sie einen beliebigen OpenAI-kompatiblen Anbieter. Die Werkzeuge sind begrenzt: geschwärztes Lesen von Dateien, Suche und Testläufe. Keine Shell, kein URL-Abruf.

Bereit für CI

Ein wiederverwendbarer GitHub-Actions-Workflow, aussagekräftige Exit-Codes, JSON-Berichte mit Commit-IDs, Nachweisen und Artefakt-Hashes sowie SARIF und ein PR-Kommentar, der nur durch Nachweise gestützte Befunde enthält.

Agentenfreundlich

Coding-Agenten führen lint und review aus, bevor sie Arbeit übergeben, und berichten, was reproduziert wurde und was offen bleibt.

Was Probe nicht behauptet

Ein Review-Werkzeug gewinnt Vertrauen, indem es seine Grenzen genau benennt. Probe vergibt keine Konfidenzprozente und gibt nie eine Änderung auf das Wort eines Modells hin frei. Bei Code entfällt das menschliche Review nur über das Plan-Gate, wenn ein risikoarmer Plan eingehalten wurde und jede automatisierte Prüfung sauber war. Bei Dokumenten entscheidet immer ein Mensch.

  • Signale sind Gründe für eine Untersuchung, keine bestätigten Bugs.
  • Bestandene Tests und ein kleiner Review-Umfang garantieren keine Korrektheit.
  • Eine ausgeführte Zeile ist eine Beobachtung, kein Beweis, dass sie getestet ist.
  • Die Aussage eines Modells ist nie ein Nachweis; nur ein reproduzierter Unterschied ist es.
  • Das Plan-Gate besagt, dass der angekündigte, risikoarme Umfang eingehalten wurde, nicht, dass der Code korrekt ist.
  • Fehlt Docker, weicht die Ausführung nie auf Ihren Host aus.
  • Ein als geprüft markiertes Dokument ist eine menschliche Entscheidung, keine Garantie, dass seine Zahlen stimmen.
  • Auch ein Dokument ohne Befund hat sich geändert: Die vollständige Liste der Änderungen ist nur einen Klick entfernt.

Investieren Sie Ihre Review-Zeit dort, wo es zählt.

Open Source, lizenziert unter AGPL-3.0. Ein Kommandozeilenwerkzeug für Code, eine Anwendung für Dokumente, beide mit jeder Version veröffentlicht.