Import 65+ simulation, CAE, chemistry, bio, and clinical formats, link them to requirements, then simulate, verify, and export — in your browser, the CLI, VS Code, or air-gapped enterprise appliances.
Reads, checks, and simulates the formats your teams already use
Domain formats, standards, and verification workflows, all connected in one open digital thread.
Flight dynamics, propulsion & mission telemetry
JSBSimNASA ROCETSCCSDSExploreAUTOSAR, powertrain & autonomous-driving scenarios
AUTOSARMATLAB SimulinkGT-SUITEExploreVehicle dynamics, track geometry & EN 14363
GENSYSSIMPACKMSC AdamsExploreMarine operations, risers & mooring
SIMA / SIMO / RIFLEXOLGAFEA (CalculiX / Abaqus / NASTRAN)ExploreEMT, power flow & grid-code compliance
PSCAD / EMTDCPSS/EOpenDSSExploreFlow assurance, pipelines & reservoirs
OLGAPipelineStudioECLIPSEExploreReactor thermal-hydraulics & point kinetics
RELAP5-3DModelicaFortranExploreBuilding energy, water & stormwater networks
EnergyPlusEPANETEPA SWMMExploreSPICE, compact models, IBIS & S-parameters
SPICEVerilog-A / AMSIBISExploreURDF kinematics, AutomationML, PLCs & mechanisms
URDF / XacroPLCopen / IEC 61131-3AutomationML (IEC 62714)ExploreFlowsheets, kinetics, geochemistry & molecular graphs
Aspen Plus / HYSYSgPROMS / PMLCanteraExploreSystems biology, pharmacometrics, radiotherapy & surgical CAS
SBMLAntimonyBioNetGen (BNGL)ExploreThe same compiler core powers the CLI, the browser IDE, VS Code, and CI, so every step is scriptable and reproducible.
npm install -g @modelscript/cli# Translate a Simulink block diagram to Modelica
$ msx simulink to-modelica Suspension.slx --out=Suspension.mo
# Project AUTOSAR software components into SysML v2
$ msx autosar to-sysml Steering.arxml --out=Steering.sysml
Language models hallucinate when guessing differential equations in plain text. @modelscript/mcp exposes 60 compiler, solver, and formal verification tools so AI agents can compile, simulate, and prove engineering designs in a closed loop.
{ "className": "Actuator.DCMotorPID", "includeMetrics": true }{
"className": "Actuator.DCMotorPID", "tunableParameters": ["Kp", "Ki", "Kd"],
"maxOvershootPct": 4, "maxSettlingS": 0.35, "tEnd": 1
}Actuator.mo+3-3Actuator.mo to Kp = 14.2, Ki = 38.5, Kd = 0.84. Step overshoot is 2.8% (limit < 4.0%) and 2% settling time is 0.29s (ρ = +0.062).Every algorithm is documented in the architecture and algorithms catalog, so you can read exactly how your models are compiled and solved.
A native WebAssembly GLR parser generator with incremental reparsing, fast enough to run on every keystroke in the IDE.
Memoized, dependency-tracked semantic queries recompute only what changed across multi-file workspaces.
Hierarchical models are lowered straight into a struct-of-arrays DAE arena in linear memory, with no intermediate AST.
Pantelides index reduction, Tarjan BLT, and Cellier–Elmqvist tearing, plus SUNDIALS, BDF, and Rosenbrock integrators.
Direct collocation for optimal control and parameter estimation, with bounds, constraints, and custom objectives.
Bidirectional synchronization links SysML v2, Modelica, STEP, and domain formats into one hypergraph.
Nelson–Oppen theory combination, CHC/IC3, and abstract interpretation prove properties of hybrid systems.
Deterministic WebAssembly runtimes for software-in-the-loop and hardware-in-the-loop execution.
The same WebAssembly compiler core runs in the browser, on the desktop, in your editor, and in CI.
Draft, simulate, and visualize models in your browser. Nothing to install.
Try MorselA full VS Code-based workbench with diagrams, plots, and a simulation debugger.
Launch StudioLanguage server for 66 formats on Visual Studio Marketplace & Open VSX Registry.
Download extensionThe msx command line for flattening, simulation, verification, and FMU export in pipelines.
CLI referenceA Model Context Protocol server that lets AI assistants compile, simulate, and analyze models.
MCP docsNative desktop builds for offline and air-gapped engineering environments.
DownloadFull language intelligence, live schematics, and simulation debugging for 66 formats — published to both primary extension ecosystems.
VS Code · Cursor · Windsurf · Trae
Directly available from Microsoft's Visual Studio Marketplace for official VS Code and compatible editor distributions.
code --install-extension modelscript.modelscriptVSCodium · Gitpod · Eclipse Theia · Code-OSS
Neutral open-source extension registry maintained by the Eclipse Foundation for privacy-focused and cloud-hosted editors.
codium --install-extension modelscript.modelscriptDeep diagnostics, AST hover, semantic completion, and document symbols across 66 engineering formats.
Pre-flight checks for unit consistency, typing, causality, acausal balancing, and syntax errors as you type.
Visual schematic editing with auto-routed acausal connect diagrams, block diagrams, and OpenCASCADE CAD viewports.
Run stiff numerical ODE/DAE solvers (SUNDIALS CVODE, IDA, Rodas4P) with interactive trajectory plots in editor panes.
Pre-indexed Modelica Standard Library (MSL 4.0.0), SysML v2 standard libraries, and schema definitions ready out of the box.
Native WebAssembly GLR execution; zero cloud telemetry or internet dependency. Safe for air-gapped engineering.
AGPL-3.0 core compiler & solvers, with OEM & Enterprise editions.
Run locally in WASM/CLI or deploy offline Ed25519-licensed appliances.
FMI, SSP, SysML v2, STEP, and ReqIF interchange.
Free AGPL-3.0 Community Edition. Try it in the browser in seconds, install the CLI, or explore Enterprise plans.