Where system models get built

Kotar is a browser-based IDE for SysML v2 — textual and graphical modeling, model-aware validation, engineering analysis, and automation — all working against one shared semantic model. No plug-ins. No format translation.

Watch Demo
The Kotar IDE: a SysML v2 model open in the text editor beside its structure diagram

One model

Every view — text, diagram, CLI, script — reads and writes the same underlying SysML.

Two ways in

Text or canvas: edits sync instantly both ways, keeping identity and layout intact.

Zero translation

No import/export step
between representations.
What you see is the model.

Author

Textual and graphical editors, live projectional editing, kept in sync, with automatic formatting and diagram generation.

Understand

Refactoring, quick fixes, autocompletion, hover docs, navigation, diagnostics, and linting—all model-aware and powered by a full language server over pattern matching.

Verify

Evaluate expressions, propagate constraints, and verify model requirements—with optional Z3/SMT deep reasoning.

Automate

A real terminal: SysML v2 CLI, bash utilities, a REPL, and multi-language scripting for transformations and workflow automation, inside the IDE.

Identity-aware version history for models as graphs.

Every workspace keeps your models, scripts, and data tied together—versioned, referencable, and non-destructive. Where and when you commit is entirely up to you, giving you total ownership and complete peace of mind over your data.

  • Linear autosave history.
  • Integrated Git management.
  • Local Flexo MMS and SysMLv2 Web Service integration with automatic semantic model promotion.

For the engineers who script their workflows.

Underneath the editor, Kotar runs local services: a SysML v2 service, a local Flexo/MMS model repository, an RDF quad store, and a general-purpose SQLite database — inspectable through a table editor, a service explorer, or direct HTTP/API calls.

  • Local SysML v2 service
  • Local Flexo/MMS service
  • RDF quad store · SQLite database
  • Table editor
  • Service explorer with logs
  • HTTP/API interaction

Your engineering data doesn’t start in SysML.
It doesn’t have to end there either.

Replace fragile import/export scripts with an SDK framework for Data and Service Bindings. Preview staged changes, track full provenance, and keep models automatically synchronized.

Start on your laptop. Connect to enterprise when you’re ready.

Kotar runs entirely in the browser — no IT stack required. When you're ready, point it at your enterprise Flexo instance and GitHub/GitLab. Nothing about the model changes in between.

Watch Kotar in action.

Source Control Demo - Web IDE

Integrate Flexo into the Web IDE with unified source control across Git, SysML v2, and local autosaves.

Requirements Demo - SysMLv2 Web IDE

Set up and manage a transform pipeline for ingesting requirements data into a SysMLv2 model.

One engine, everywhere in the IDE.

The text editor, the graphical canvas, the CLI, and every automation script all run against the same SysML v2 SDK. One semantic model, no format drift, no synchronization guesswork between tools. It's a small idea with a bigger implication: when your models speak one language inside Kotar, they're that much closer to speaking to everyone else's, too.

Read before you model. Or after. Either works.

Every capability in Kotar is documented — from your first model to your deployment pipeline.

Open user manual

Questions the manual doesn't answer?

Contact us

Start modeling with Kotar.

Free to run, wherever you run it.

Read Docs

Sign in to Kotar

New here? Signing in creates your account.

Your models stay in your browser.