AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI

TL;DR

AgenticTyper, a Large Language Model-based agentic system that addresses type checking setup, definition generation, bug identification, or behavioral correctness at repository scale through iterative error correction and behavior preservation via transpilation comparison is presented.

Abstract

Legacy JavaScript systems lack type safety, making maintenance risky. While TypeScript can help, manually adding types is expensive. Previous automated typing research focuses on type inference but rarely addresses type checking setup, definition generation, bug identification, or behavioral correctness at repository scale. We present AgenticTyper, a Large Language Model (LLM)-based agentic system that addresses these gaps through iterative error correction and behavior preservation via transpilation comparison. Evaluation on two proprietary repositories (81K LOC) shows that AgenticTyper resolves all 633 initial type errors in 20 minutes, reducing manual effort from one working day.

Figures (2)

• Figure 1: Three-phase typing approach.
• Figure 2: Single-agent architecture for phase one and two. The hook preventing behavior changes is highlighted.