✓ Retenue 1e sur 17 proposéesVenture Outils de développement 21 oct. 2026

Plateforme de portage IA vérifiée pour les bases de code legacy

Des portages de code générés par les modèles de pointe (COBOL, Java, TS, Python), livrés avec des preuves d'équivalence comportementale vérifiées par machine plutôt qu'à l'intuition.

Ouvrir la discussion ↗

Un brief prêt à coller dans Claude Code, Cursor ou tout agent de code (en anglais).

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.

Global6.5/10

Douleur7

Volonté de payer7

Timing7

Manque6

Avantage défensif6

Faisabilité5

Pour

Qui paie

VP Engineering / Head of Platform Modernization dans les grandes entreprises disposant de vastes bases legacy (banques, assureurs, SaaS de plus de 1 M de LOC) ; budgets de migration de 150 k$ à 1 M$ qui vont aujourd'hui aux cabinets de conseil.

Ce que les gens ont dit · 5

Les modèles de pointe peuvent désormais réaliser des portages de langage à grande échelle en quelques jours, et l'écosystème compte déjà des «slopforks», des portages fidèles et des variantes TypeScript réarchitecturées : la fidélité est le facteur différenciant. Tiré de l'article ↗
Un utilisateur intensif d'agents relit encore manuellement les sorties de l'IA, car les agents de codage prennent des décisions d'architecture peu fiables, et il note que les grandes bases de code dépassent les outils existants. Lire le commentaire ↗
Trois portages TypeScript indépendants assistés par IA existent déjà (tsrs, tsgo-rs, bun check), ce qui témoigne d'une demande de portage et d'une fragmentation de l'offre. Lire le commentaire ↗
Un commentateur se demande si la même approche de portage par IA a été tentée pour CPython, signe d'un intérêt dépassant TypeScript. Lire le commentaire ↗
Un développeur solo a porté du TypeScript vers C# avec l'IA pour environ 75 $, ce qui montre que le coût de portage s'est effondré, mais sans aucune garantie de correction associée. Lire le commentaire ↗

Reformulé à partir de la discussion. Suivez les liens pour lire les commentaires d'origine.

Concurrents et manque

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

Les acteurs existants proposent soit des refactorisations déterministes à base de règles, soit des heures de conseil humaines ; aucun ne productise des preuves automatisées de différentiel ou de conformité attestant qu'un portage généré par un modèle est comportementalement équivalent à l'original. C'est précisément le déficit de confiance qu'évoque egonschiele.

Pourquoi maintenant

Au cours des 12 derniers mois, les modèles de pointe ont franchi un seuil où des portages à l'échelle d'un compilateur se terminent en quelques jours (cet article en est la preuve), si bien que le goulot d'étranglement de toute migration est passé de l'écriture du code à la confiance qu'on peut lui accorder.

Avantage défensif · 6/10

Un corpus cumulatif de suites de tests de conformité par paire de langages, de techniques de diff sémantique et de données sur les échecs d'équivalence issues de chaque mission ; chaque portage rend le suivant plus rapide et plus sûr. Changer de prestataire implique de perdre l'historique de certification accumulé.

Contre

Équipe rouge: L'effondrement du coût de portage grâce aux modèles de pointe cette année déplace réellement le goulot vers la confiance, les entreprises dépensent déjà entre 150 k$ et 1 M$ par migration, et aucun cabinet de conseil ne productise l'équivalence comportementale vérifiée par machine pour les portages générés par modèle, en dehors de la niche COBOL de Mechanical Orchard.
Ce qui la ferait échouer: Les tests d'équivalence comportementale s'avèrent aussi difficiles que le portage lui-même pour des systèmes d'entreprise à états et à effets de bord, et les acheteurs se tournent par défaut vers les cabinets de conseil établis, quel que soit le coût.

Démarrer

Les trois premières étapes: Choisir une paire de langages (par exemple, des monolithes Java 8 vers Java/Kotlin modernes, ou des services de l'ère Python 2 vers Python 3) et construire un outil de test différentiel qui génère automatiquement des tests d'équivalence comportementale à partir des traces et des types du système source.
Réaliser 2 à 3 migrations pilotes payantes avec un pipeline d'agents impliquant un humain dans la boucle, en livrant un «rapport d'équivalence» comme livrable.
Productiser le rapport et le harnais de non-régression sous forme d'offre de vérification autonome, intégrable dans le workflow d'agents de n'importe quelle équipe.
Discussion d'origine: Tsrs: A Port of TypeScript to Rust ↗ 426 points209 commentairesDe l'articleArticle lié

Traduit de l'anglais. Lire l'original

Pour

Contre

Démarrer

Plus dans cette édition