Why I'm building yet another UML tool in 2026 A developer is building kUML, a new UML modeling tool that treats diagrams as code in a typed host language (Kotlin), addressing the structural flaw of model-code separation. The tool aims to enable first-class IDE refactoring across model and code, and is designed for the LLM era with compile-checkable output and an MCP server. The developer argues that no existing tool has built a modeling tool on a typed host language or designed for LLM integration. Let me get the obvious objection out of the way. PlantUML exists. Mermaid renders natively on GitHub. draw.io is free and works. Enterprise Architect, MagicDraw, Rhapsody and Papyrus cover the heavy end. By any reasonable count, the world has somewhere north of forty UML tools, and most teams complain about exactly one of them: the one they have to use. So why build another? The honest answer has three parts. I'll walk through each — including the parts where my reasoning is shaky, and the one structural gap I think the whole category has been ignoring for a decade. I've spent twenty years writing UML and SysML in automotive R&D — Car2x, autonomous driving, safety-critical embedded systems at Keysight. The diagrams aren't decoration. They drive code generation, ISO 26262 evidence, and reviews with hardware engineers who don't read Kotlin. Here is the workflow that every automotive team I know actually runs, regardless of which tool sits in the middle: This is not a tooling failure of any one product. It's a property of treating the model and the code as two separate artifacts that happen to describe the same thing. The gap between them grows by default, every sprint, forever. No amount of "discipline" closes it — I've watched senior people try. PlantUML and Mermaid tried to fix this by making the diagram text. That was the right move and the wrong implementation. Both are bespoke text formats, parsed by bespoke engines, with no connection whatsoever to the code they're supposed to describe. You can write User <|-- Admin in PlantUML on Monday and rename Admin to Administrator in Kotlin on Tuesday, and nothing — not the IDE, not the compiler, not CI — will tell you the diagram is now lying. The enterprise tools EA, MagicDraw, Rhapsody do understand types and constraints. They're genuine modeling tools. They also cost five figures per seat, need administrators, and ship a UI that was state of the art around the time Windows XP launched. Every one of these tools treats UML as a separate artifact from the code. That is the structural flaw. Everything else is decoration. I spent a weekend mapping the modeling-tool landscape — text DSLs, classic CASE tools, executable-UML attempts, code-as-diagram libraries. The detailed breakdown lives on kuml.dev/comparison https://kuml.dev/comparison for anyone who wants the full matrix. Two findings refused to leave me alone. Nobody has built a modeling tool on a typed host language. Plenty of Python libraries draw diagrams. Plenty of Java APIs sit on top of EMF. There are dozens of custom text grammars. There is no serious modeling tool that treats the model as ordinary code in a modern, statically-typed language, with first-class IDE refactoring across model and code. That's a structural gap, not a language-preference argument — it happens that Kotlin's type-safe builders are the cleanest fit available today, but the point would stand for any equivalent host. Nobody designs for the LLM era. PlantUML and Mermaid are LLM-friendly by accident — they have enormous training footprints. "Common in training data" is a fragile moat that erodes the day a typed, verifiable alternative appears. None of the major tools have asked the obvious question: what does a modeling language look like if you assume an LLM writes half the diagrams? Named parameters everywhere. Compile-checkable output. An MCP server so the agent can introspect the model. A benchmark that measures how often the generated model actually type-checks. These aren't wishlist features. They're empty quadrants on the market map. Building kUML is partly a bet that those quadrants are empty because they're hard, not because nobody wants them. What if the UML diagram and the code were written in the same language? Not "next to" the code. Not "generated from" the code. The same artifact . Same compiler. Same IDE. Same refactoring engine. Same review tooling. Kotlin has a feature called type-safe builders — DSLs implemented as ordinary function calls. If you've used Gradle's Kotlin DSL, you've already seen it: dependencies { implementation "…" } looks like configuration but is in fact a Kotlin function call that the IDE understands, the refactorer can rename, and the compiler can check. A class diagram in kUML looks like this: python @file:Suppress "unused" import dev.kuml.core.dsl.classDiagram import dev.kuml.uml.dsl.association import dev.kuml.uml.dsl.attribute import dev.kuml.uml.dsl.classOf import dev.kuml.uml.dsl.constraint import dev.kuml.uml.dsl.operation import dev.kuml.uml.dsl.returns classDiagram "E-Commerce Domain" { val order = classOf "Order" { attribute name = "id", type = "UUID" attribute name = "createdAt", type = "Instant" attribute name = "status", type = "OrderStatus" operation name = "confirm" { returns "Boolean" } constraint "hasItems", "self.items- size = 1" } val orderItem = classOf "OrderItem" { attribute name = "quantity", type = "Int" attribute name = "unitPrice", type = "BigDecimal" } association source = order, target = orderItem { target { multiplicity "1.. " ; role = "items" } } } This is a .kuml.kts file — a Kotlin script — sitting inside your Gradle project. The JetBrains plugin's rename action propagates across all classOf references in the diagram. Elements show up in IntelliJ's Find Usages. The diagram lives in source control, in code review, in the same diff as the classes it describes. The multiplicity "1.. " on the orderItem end is not a label — it's part of the model. The M2M transformers read it: kuml transform --transformer uml-to-jpa uses it to decide whether the JPA relationship becomes @OneToMany or @ManyToOne . That constraint "hasItems", "self.items- size = 1" line is not a comment — it's an OCL invariant attached to the model. kuml validate parses and evaluates it: the moment an Order can have zero items, validation exits non-zero and your CI build fails. The same command also catches duplicate IDs, circular inheritance, and dangling references. Embedding OCL constraints in the model and enforcing them in CI is something I framed as "still coming" in earlier drafts — it ships today. Let me be specific about what exists right now, because the "early-stage, class diagrams only" framing I had in earlier drafts is no longer accurate. Diagram types — all shipped: all 14 UML 2 types class, sequence, activity, state machine, component, deployment, use case, and more , all 8 SysML 2 types BDD, IBD, UC, REQ, STM, ACT, SEQ, PAR , and C4 architecture diagrams. IDE integration : the JetBrains plugin gives you a live SVG preview pane 300 ms debounce , 38 DSL autocomplete items grouped by diagram type, rename refactoring that works across model and code, code folding, and inline error squiggles — all in .kuml.kts files that IntelliJ already understands as Kotlin. Interfaces : kuml serve launches a browser-based editor with live preview and SVG/PNG/LaTeX download. kuml-desktop is a standalone Compose desktop app — edit and preview with no server, no browser required. Reverse engineering : kuml reverse