✓ Überlebt Platz 1 von 17 VorschlägenVenture DevTools 21. Okt. 2026

Verifizierte KI-Porting-Plattform für Legacy-Codebasen

Mit Frontier-Modellen erzeugte Code-Portierungen (COBOL, Java, TS, Python), die mit maschinell geprüften Nachweisen zur Verhaltensäquivalenz ausgeliefert werden statt auf Basis von Bauchgefühl.

Diskussion öffnen ↗

Ein fertiges Briefing für Claude Code, Cursor oder jeden anderen Coding-Agenten (auf Englisch).

I want to build a venture-scale product. Help me plan and start the MVP.

Product: Verified AI Porting Platform for Legacy Codebases
What it is: Frontier-model code ports (COBOL, Java, TS, Python) shipped with machine-checked behavioral equivalence proofs instead of vibes.
Who pays: VP Engineering / Head of Platform Modernization at enterprises with large legacy codebases (banks, insurers, SaaS with 1M+ LOC); $150k–$1M migration budgets that today go to consultancies.
Closest alternatives: Mechanical Orchard (COBOL modernization, services-heavy), Moderne / OpenRewrite (rule-based automated refactoring, not model-driven ports), Sourcegraph Batch Changes (large-scale edits, no equivalence verification), In-house agent + senior-reviewer time
The gap: Existing players either do deterministic rule-based refactors or sell human consulting hours; none productize automated differential/conformance evidence that a model-generated port is behaviorally equivalent to the original, which is exactly the trust gap egonschiele describes.
Why now: In the last 12 months frontier models crossed the threshold where full compiler-scale ports complete in days (this article is the proof case), so the bottleneck in every migration has shifted from writing code to trusting it.
Moat to build toward: Compounding corpus of language-pair conformance test suites, semantic-diff techniques, and equivalence-failure data from every engagement — each port makes the next one faster and safer; switching means losing the accumulated certification history.
Biggest risk: Behavioral equivalence testing turns out to be as hard as the port itself for stateful, side-effecting enterprise systems, and buyers default to established consultancies regardless of cost.

First three steps:
1. Pick one language pair (e.g., Java 8 monoliths to modern Java/Kotlin or Python 2-era services to Python 3) and build a differential test harness that auto-generates behavioral equivalence tests from the source system's traces and types
2. Run 2–3 paid pilot migrations with a human-in-the-loop agent pipeline, publishing an 'equivalence report' as the deliverable
3. Productize the report + regression harness as a standalone verification offering that plugs into any team's own agent workflow

Start by asking me up to five questions about constraints (stack, budget, timeline), then propose the smallest version a paying customer would use, and scaffold it.

Gesamt6.5/10

Schmerz7

Zahlungsbereitschaft7

Timing7

Marktlücke6

Burggraben6

Machbarkeit5

Dafür

Wer zahlt

VP Engineering bzw. Head of Platform Modernization in Unternehmen mit großen Legacy-Codebasen (Banken, Versicherer, SaaS mit über 1 Mio. LOC); Migrationsbudgets von 150.000 bis 1 Mio. $, die heute an Beratungshäuser gehen.

Was die Leute sagten · 5

Frontier-Modelle können inzwischen großflächige Sprachportierungen in Tagen erledigen. Im Ökosystem gibt es bereits „Slopforks“, originalgetreue Ports und neu architektierte TypeScript-Varianten. Die Treue zum Original ist das entscheidende Unterscheidungsmerkmal. Aus dem Artikel ↗
Ein intensiver Nutzer von Coding-Agenten prüft KI-Ausgaben weiterhin manuell, weil Agenten unsaubere Architekturentscheidungen treffen. Außerdem stoßen bestehende Tools bei großen Codebasen an ihre Grenzen. Kommentar lesen ↗
Es gibt bereits drei unabhängige KI-gestützte TypeScript-Ports (tsrs, tsgo-rs, bun check). Das zeigt Nachfrage nach Portierungen und eine fragmentierte Anbieterlandschaft. Kommentar lesen ↗
Ein Kommentator fragt, ob derselbe KI-Portierungsansatz auch für CPython versucht wurde. Das deutet auf Interesse über TypeScript hinaus hin. Kommentar lesen ↗
Ein Solo-Entwickler hat mit KI TypeScript für rund 75 $ nach C# portiert. Das zeigt, dass die Portierungskosten stark gefallen sind, ohne dass eine Korrektheitsgarantie dazukommt. Kommentar lesen ↗

Sinngemäß aus der Diskussion wiedergegeben. Die Links führen zu den Originalkommentaren.

Wettbewerber und Lücke

Mechanical Orchard (COBOL modernization, services-heavy)Moderne / OpenRewrite (rule-based automated refactoring, not model-driven ports)Sourcegraph Batch Changes (large-scale edits, no equivalence verification)In-house agent + senior-reviewer time

Bestehende Anbieter setzen auf deterministische, regelbasierte Refactorings oder verkaufen Beratungsstunden. Keiner bietet automatisierte Differential- und Konformitätsnachweise als Produkt an, dass ein modellgeneriertes Port das Verhalten des Originals exakt nachbildet. Genau diese Vertrauenslücke beschreibt egonschiele.

Warum jetzt

In den letzten zwölf Monaten haben Frontier-Modelle eine Schwelle überschritten, ab der vollständige Ports in compilergroßem Umfang in Tagen fertig sind (dieser Artikel ist der Beleg). Der Engpass jeder Migration hat sich dadurch vom Schreiben des Codes zum Vertrauen in den Code verschoben.

Burggraben · 6/10

Ein wachsender Korpus aus Konformitätstestsuiten für Sprachpaare, Techniken für semantische Diffs und Daten zu Äquivalenzfehlern aus jedem Auftrag. Jeder Port macht den nächsten schneller und sicherer. Ein Wechsel würde die angesammelte Zertifizierungshistorie kosten.

Dagegen

Red Team: Dass Frontier-Modelle die Portierungskosten in diesem Jahr drastisch senken, verschiebt den Engpass tatsächlich hin zum Vertrauen. Unternehmen geben ohnehin 150.000 bis 1 Mio. $ pro Migration aus, und außerhalb der COBOL-Nische von Mechanical Orchard bietet kein Beratungshaus maschinell geprüfte Verhaltensäquivalenz für modellgenerierte Ports als Produkt an.
Woran es scheitern würde: Die Prüfung der Verhaltensäquivalenz erweist sich bei zustandsbehafteten Unternehmenssystemen mit Seiteneffekten als so schwer wie der Port selbst, und Kunden greifen unabhängig von den Kosten standardmäßig zu etablierten Beratungshäusern.

Start

Die ersten drei Schritte: Ein Sprachpaar wählen (z. B. Java-8-Monolithen zu modernem Java/Kotlin oder Python-2-Services zu Python 3) und ein Differential-Testwerkzeug bauen, das aus Traces und Typen des Quellsystems automatisch Tests zur Verhaltensäquivalenz erzeugt.
2 bis 3 bezahlte Pilotmigrationen mit einer Agenten-Pipeline mit menschlicher Kontrolle durchführen und als Ergebnis einen „Äquivalenzbericht“ ausliefern.
Bericht und Regressionsharness als eigenständiges Verifikationsangebot productisieren, das sich in den bestehenden Agenten-Workflow jedes Teams einbinden lässt.
Ursprüngliche Diskussion: Tsrs: A Port of TypeScript to Rust ↗ 426 Punkte209 KommentareAus der StoryVerlinkter Artikel

Aus dem Englischen übersetzt. Original lesen

Dafür

Dagegen

Start

Mehr aus dieser Ausgabe