✓ Sobrevivió Puesto 1 de 17 propuestasVenture DevTools 21 oct 2026

Plataforma verificada de portación con IA para bases de código legadas

Portes de código con modelos de frontera (COBOL, Java, TS, Python) entregados con pruebas de equivalencia de comportamiento verificadas por máquina, en lugar de confiar en la intuición.

Abrir el debate ↗

Un brief listo para pegar en Claude Code, Cursor o cualquier agente de programación (en inglés).

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.

Total6.5/10

Dolor7

Disposición a pagar7

Momento7

Hueco6

Foso6

Viabilidad5

A favor

Quién paga

VP de Ingeniería / Director de Modernización de Plataforma en empresas con grandes bases de código legadas (bancos, aseguradoras, SaaS con más de 1M de LOC); presupuestos de migración de entre 150 000 y 1 M$ que hoy se destinan a consultoras.

Lo que dijo la gente · 5

Los modelos de frontera ya pueden hacer portes de lenguaje a gran escala en días, y el ecosistema ya tiene 'slopforks', ports fieles y variantes rearquitectadas de TypeScript; la fidelidad es el diferenciador. Del artículo ↗
Un usuario intensivo de agentes sigue revisando manualmente la salida de la IA porque los agentes de programación toman decisiones arquitectónicas poco sólidas, y señala que las bases de código grandes superan las herramientas existentes. Leer el comentario ↗
Ya existen tres ports de TypeScript independientes asistidos por IA (tsrs, tsgo-rs, bun check), lo que muestra demanda de portación y fragmentación. Leer el comentario ↗
Un comentarista se pregunta si el mismo enfoque de port con IA se ha probado con CPython, lo que indica interés más allá de TypeScript. Leer el comentario ↗
Un desarrollador en solitario portó TypeScript a C# con IA por unos 75 $, lo que muestra que el coste de portación se ha desplomado, pero sin ninguna garantía de corrección asociada. Leer el comentario ↗

Parafraseado del debate. Sigue los enlaces para ver los comentarios originales.

Competidores y hueco

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

Los jugadores existentes hacen refactorizaciones deterministas basadas en reglas o venden horas de consultoría humana; ninguno productiza la evidencia automatizada de equivalencia diferencial/conformidad que demuestra que un port generado por modelo se comporta igual que el original, justo la brecha de confianza que describe egonschiele.

Por qué ahora

En los últimos 12 meses, los modelos de frontera superaron el umbral en el que los ports a escala de compilador se completan en días (este artículo es el caso de prueba), así que el cuello de botella de cualquier migración ha pasado de escribir código a confiar en él.

Foso · 6/10

Un corpus creciente de suites de pruebas de conformidad por par de lenguajes, técnicas de diff semántico y datos de fallos de equivalencia de cada proyecto; cada port hace el siguiente más rápido y seguro, y cambiar de proveedor implica perder el historial acumulado de certificaciones.

En contra

Equipo rojo: El colapso del coste de portación con modelos de frontera este año desplaza de verdad el cuello de botella hacia la confianza, las empresas ya gastan entre 150 000 y 1 M$ por migración, y ninguna consultora productiza la equivalencia de comportamiento verificada por máquina para ports generados por modelos fuera del nicho COBOL de Mechanical Orchard.
Qué la haría fracasar: Que las pruebas de equivalencia de comportamiento resulten tan difíciles como el propio port en sistemas empresariales con estado y efectos secundarios, y que los compradores sigan prefiriendo a las consultoras establecidas sin importar el coste.

Empezar

Primeros tres pasos: Elegir un par de lenguajes (por ejemplo, monolitos de Java 8 a Java/Kotlin modernos o servicios de la era Python 2 a Python 3) y construir un arnés de pruebas diferenciales que genere automáticamente pruebas de equivalencia de comportamiento a partir de trazas y tipos del sistema de origen
Ejecutar de 2 a 3 migraciones piloto de pago con un pipeline de agentes con humano en el bucle, publicando un 'informe de equivalencia' como entregable
Productizar el informe y el arnés de regresión como una oferta de verificación independiente que se integre en el flujo de trabajo de agentes de cualquier equipo
Debate original: Tsrs: A Port of TypeScript to Rust ↗ 426 puntos209 comentariosDe la historiaArtículo enlazado

Traducido del inglés. Leer el original

A favor

En contra

Empezar

Más de esta edición