GeezerVison is showing modelscript.org — ModelScript — The Open Computable Digital Thread for Engineering
Skip to contentModelScriptOne open toolchain for every engineering modelImport 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. 66Languages & formatsFrom Modelica and SysML v2 to PSCAD, AUTOSAR, and STEP.12Industries servedAerospace, automotive, grid, rail, offshore, and more.1008Compiler lint rulesPre-flight diagnostics for syntax, types, units, and DAE balance.0Installs requiredNative WebAssembly runs in the browser, Node.js, and the CLI. Reads, checks, and simulates the formats your teams already use 12 formats Aerospace & AviationFlight dynamics, propulsion & mission telemetry JSBSimNASA ROCETSCCSDSExplore 12 formats Automotive & MobilityAUTOSAR, powertrain & autonomous-driving scenarios AUTOSARMATLAB SimulinkGT-SUITEExplore 6 formats RailVehicle dynamics, track geometry & EN 14363 GENSYSSIMPACKMSC AdamsExplore 6 formats Marine & OffshoreMarine operations, risers & mooring SIMA / SIMO / RIFLEXOLGAFEA (CalculiX / Abaqus / NASTRAN)Explore 8 formats Power Systems & GridEMT, power flow & grid-code compliance PSCAD / EMTDCPSS/EOpenDSSExplore 9 formats Oil, Gas & SubsurfaceFlow assurance, pipelines & reservoirs OLGAPipelineStudioECLIPSEExplore 7 formats NuclearReactor thermal-hydraulics & point kinetics RELAP5-3DModelicaFortranExplore 7 formats Buildings & Civil InfrastructureBuilding energy, water & stormwater networks EnergyPlusEPANETEPA SWMMExplore 6 formats Electronics & SemiconductorsSPICE, compact models, IBIS & S-parameters SPICEVerilog-A / AMSIBISExplore 11 formats Robotics & Industrial AutomationURDF kinematics, AutomationML, PLCs & mechanisms URDF / XacroPLCopen / IEC 61131-3AutomationML (IEC 62714)Explore 10 formats Chemical & ProcessFlowsheets, kinetics, geochemistry & molecular graphs Aspen Plus / HYSYSgPROMS / PMLCanteraExplore 19 formats Life Sciences, Healthcare & MedicalSystems biology, pharmacometrics, radiotherapy & surgical CAS SBMLAntimonyBioNetGen (BNGL)Explore
Installnpm install -g @modelscript/cli ~/project — msx import # 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
Sources.slx.arxml.pscx.step.sysml ~/project — msx analyze # Lint an entire polyglot workspace for CI
$ msx lint ./models ./requirements --format json
# Semantic diff for code review
$ msx diff old/Plant.mo new/Plant.mo
OutputsJSON diagnosticsLSPPR diff ~/project — msx simulate # Stiff DAE with sparse symbolic Jacobians
$ msx simulate RLC_Circuit circuit.mo --stop-time 10.0 --solver rodas4p --jacobian sparse --format csv
# Monte Carlo uncertainty study
$ msx mc RLC_Filter filter.mo --params "R:gaussian:100:5,C:uniform:1e-6:1.2e-6"
OutputsCSV trajectoriesSurrogatesMonte Carlo ~/project — msx verify # Contract verification with a SARIF report
$ msx verify BrakingController brake.mo --format sarif --report results.sarif
# Grid-code compliance from a PSCAD project
$ msx pscad verify-ieee2800 SolarPlant_250MW.pscx --tstop 3.0 --step 20us
OutputsSARIFIEEE 2800EN 14363nuXmv / SMT-LIB2 ~/project — msx deliver # FMI 3.0 co-simulation FMU with an embedded WebAssembly binary
$ msx fmu DC_Motor motor.mo --fmi-version 3 --type cs --wasm --output build/DC_Motor.fmu
# Render a SysML v2 internal block diagram
$ msx render SpacecraftPower spacecraft.sysml --view IBD --theme blueprint -o ibd.svg
OutputsFMI 2.0 / 3.0SSPSVGnpm registry .vscode/mcp.json (or CLI) {
"servers": {
"modelscript": {
"type": "stdio",
"command": "npx",
"args": ["-y", "@modelscript/mcp"]
}
}
}
CLIcode --add-mcp '{"name":"modelscript","command":"npx","args":["-y","@modelscript/mcp"]}' ModelScript AI WASM Kernel Ready Actuator.mo·model DCMotorPID Auto-showcase · Switch to ⚡ Live Mode to test Tune the DC motor PID gains in Actuator.mo so step overshoot stays below 4% and settling time is under 0.35s. Thought ProcessFlattening Actuator.DCMotorPID to linear DAE arena (18 equations), computing forward sensitivities d(y)/d(Kp,Ki,Kd), and shaping loop bandwidth for overshoot < 4% and Ts < 0.35s. 1modelica_flattenJSON-RPC tools/call { "className": "Actuator.DCMotorPID", "includeMetrics": true }
Arena DAE lowered · 18 states/algebraics · 18 equations [Balanced] Index reductionIndex-1 ODE BLT blocks6×6 torn 2modelscript_closed_loop_synthesizeJSON-RPC tools/call {
"className": "Actuator.DCMotorPID", "tunableParameters": ["Kp", "Ki", "Kd"],
"maxOvershootPct": 4, "maxSettlingS": 0.35, "tEnd": 1
}
Converged in 4 sensitivity iterations (SUNDIALS CVODE + Forward AD) Overshoot2.8% (< 4.0%) Settling time0.29s (< 0.35s) STL robustness ρ+0.062 PASS modelscript_patch_codeActuator.mo+3-3 Deterministic Compiler Proof:Verified patch applied: Kp = 14.2, Ki = 38.5, Kd = 0.84 Tuned Actuator.DCMotorPID in Actuator.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). SPPF · WASM Incremental GLR parsingA native WebAssembly GLR parser generator with incremental reparsing, fast enough to run on every keystroke in the IDE. Memoized DAG Salsa query engineMemoized, dependency-tracked semantic queries recompute only what changed across multi-file workspaces. SoA Linear Memory Arena DAE flatteningHierarchical models are lowered straight into a struct-of-arrays DAE arena in linear memory, with no intermediate AST. BLT · Tearing · IDA Structural analysis & solversPantelides index reduction, Tarjan BLT, and Cellier–Elmqvist tearing, plus SUNDIALS, BDF, and Rosenbrock integrators. Collocation · NLP OptimizationDirect collocation for optimal control and parameter estimation, with bounds, constraints, and custom objectives. Bi-directional Sync Triple graph grammarsBidirectional synchronization links SysML v2, Modelica, STEP, and domain formats into one hypergraph. SMT · CHC / IC3 Formal verificationNelson–Oppen theory combination, CHC/IC3, and abstract interpretation prove properties of hybrid systems. Deterministic Δt SIL & real-time HILDeterministic WebAssembly runtimes for software-in-the-loop and hardware-in-the-loop execution. Visual Studio MarketplaceOfficialVS Code · Cursor · Windsurf · Trae Directly available from Microsoft's Visual Studio Marketplace for official VS Code and compatible editor distributions. CLI Installcode --install-extension modelscript.modelscript Open VSX RegistryOpen SourceVSCodium · Gitpod · Eclipse Theia · Code-OSS Neutral open-source extension registry maintained by the Eclipse Foundation for privacy-focused and cloud-hosted editors. CLI Installcodium --install-extension modelscript.modelscript Polyglot Language ServerDeep diagnostics, AST hover, semantic completion, and document symbols across 66 engineering formats. 770+ Compiler Lint RulesPre-flight checks for unit consistency, typing, causality, acausal balancing, and syntax errors as you type. Interactive 2D & 3D SchematicsVisual schematic editing with auto-routed acausal connect diagrams, block diagrams, and OpenCASCADE CAD viewports. In-Editor DAE SimulationRun stiff numerical ODE/DAE solvers (SUNDIALS CVODE, IDA, Rodas4P) with interactive trajectory plots in editor panes. Bundled MSL & Standard LibrariesPre-indexed Modelica Standard Library (MSL 4.0.0), SysML v2 standard libraries, and schema definitions ready out of the box. 100% Offline & PrivateNative WebAssembly GLR execution; zero cloud telemetry or internet dependency. Safe for air-gapped engineering. Open-core architectureAGPL-3.0 core compiler & solvers, with OEM & Enterprise editions. Offline & air-gapped readyRun locally in WASM/CLI or deploy offline Ed25519-licensed appliances. Standards firstFMI, SSP, SysML v2, STEP, and ReqIF interchange. Start building your digital thread todayFree AGPL-3.0 Community Edition. Try it in the browser in seconds, install the CLI, or explore Enterprise plans. |
