Migration as a service · No LLMs

Migrations you can prove

With Scriba AI your legacy system becomes a modern, idiomatic application, verified with differential tests against the original and delivered with the evidence that proves it.

No LLMs

Proprietary specialized models, deterministic components and verification gates between phases.

Idiomatic code

Business logic is reconstructed, not translated line by line: no JOBOL.

Verified equivalence

Differential tests compare the migrated system's outputs with the original's.

Fixed, guaranteed price

No subscription, no usage-based fees, no hidden costs.

Reference case

A COBOL ILE batch on IBM i, migrated to Java and React

A real project, delivered with the same method we apply to every PoC and every engagement.

Reference caseLeasing · financial transaction extraction

A COBOL ILE batch on IBM i that extracts the financial transactions of a leasing company, migrated to Java 25 / Spring Boot 4.1 with a React 18 / TypeScript frontend and a SQL Server database managed with Liquibase, following the client's backend and frontend instruction files.

Original system

COBOL ILE

Batch on IBM i

Migrated system
  • BackendJava 25 · Spring Boot 4.1
  • FrontendReact 18 · TypeScript
  • DatabaseSQL Server · Liquibase
95source members mapped to Java classes
16documents delivered, from the executive summary to the operations runbook
Bit-perfectoutput validation methodology
3verification rounds by independent reviewers

The reviewers' findings were resolved by Scriba and tracked in the change history.

How it works

Six phases, with a verification gate between each one

Scriba is a system of specialized models and deterministic components, coordinated by a fully proprietary orchestration layer. Every input is routed to the component that consumes it.

01Parse

Parsing

Syntax tree built with parsers specific to each language and dialect.

dedicated parsers · proprietary lexers
02Understand

Semantic analysis

Types, dependencies, control flow and side effects.

dependency graph · type inference
03Recover

Logic reconstruction

Business rules made explicit, traced and separated from the legacy runtime.

intent graph · rule extraction
04Reason

Multi-model

Specialized models in an ensemble: disagreement triggers an escalation.

multi-model · orchestrator
05Verify

Validation

Compilation, types, client rules, differential tests on behaviour.

deterministic gates · diff suite
06Emit

Generation

Idiomatic code in the target, project structure, build and evidence.

type-aware · framework-aware
Between every phase

Deterministic verification gates: no phase moves forward unless the previous one has been verified.

Illustrative scenarios

How a migration is set up

Three typical scopes, to show how working with Scriba looks. They do not describe completed projects and report no results.

Mainframe batch

Financial services
Illustrative scenario
Typical scope
A COBOL batch on z/OS with its copybooks, parameter tables and the JCL that runs it: a closed process that still runs today and can therefore be compared.
Declared target
Java with Spring Boot and Spring Batch, schema managed with Liquibase, following the rules in instructions.md.
How it is verified
Output files and database extracts compared bit for bit with those of the original system on the same inputs.
Illustrative example, not a project result.

Online function on IBM i

Insurance
Illustrative scenario
Typical scope
A complete RPG online function: its 5250 terminal screens, the programs and files involved, with external dependencies declared as interfaces.
Declared target
Java or C#/.NET backend with REST APIs and a React frontend, following your team's conventions.
How it is verified
End-to-end tests on the screen flows, plus database extracts taken before and after execution.
Illustrative example, not a project result.

Calculation module

Manufacturing
Illustrative scenario
Typical scope
A PL/I calculation module with well-defined interfaces to the rest of the system and parameter tables that drive its logic.
Declared target
Java or C#, with documented compatibility components for decimal arithmetic and return codes.
How it is verified
Unit tests for every business rule and differential tests on the reference datasets, with per-field tolerances where declared.
Illustrative example, not a project result.
Industries

Where legacy systems still run the business

Banking

Core banking, batch, payments

Insurance

Policies, claims, reserves

Leasing

Contracts, schedules, transactions

Logistics

Shipping, warehousing, tracking

Manufacturing

ERP, production, supply chain

Public sector

Taxes, registries, services

Indicative estimate

What would a manual migration cost?

The simulator estimates the cost of a manual migration from the parameters you enter and compares it with a savings assumption that you set.

It is an indicative estimate, not a quote: Scriba's price is fixed and guaranteed, and is set after analysing your package.

How do you prove that the migrated system behaves like the original?

It's the question to ask any vendor. We answer with tests and quality gates agreed in advance, on a scope of your own of up to 30,000 lines.