Sysight: SysML v2 Model Server for Diagnostics, Verification and SPARQL

One Model, Every Client

The Same Live Model, Wherever You Work

One server per workspace answers them all, so the editor, the command line and the agent never disagree about the model.
Even unsaved edits are seen by everyone attached.

VS Code

The Sysight: SysML v2 Insight extension: diagnostics in the Problems view, navigation into the libraries, values and verdicts on hover and inline, and a query panel with sessions.

Command Line

The sysight command checks, evaluates, verifies, queries, exports and updates. It starts the server on first use, then answers in milliseconds.

sysight check

AI Agents

A Model Context Protocol server, so Claude Code and other agents read, query, evaluate, verify and change the same live model, and see the diagnostics each change adds or removes.

sysight mcp

CI and Other Editors

Headless in pipelines, with exit codes for errors and violated requirements. Any LSP editor, Neovim among them, connects through sysight attach.

sysight attach

Capabilities

From Textual Notation to Engineering Answers

Everything Sysight does is one endpoint of the model server, with the same name and parameters from every client.

Whole-Workspace Diagnostics

Syntax, names that do not resolve, the specification's validation rules, and asserted constraints and requirements that fail. Every file a change affects is re-checked, including files you have not opened.

Computed Values, With Units

Evaluate any attribute or expression in the context of an element. Results come in the unit you ask for, checked against its dimension, and appear inline in the editor beside the expressions that produce them.

Requirement Verification

Constraints, requirements and satisfy statements decided as satisfied, violated or undetermined, with the reason why. A requirement's verdict is visible where it is written, on hover.

SPARQL Over the Model

SPARQL 1.1 with entailment: asking for parts finds every kind of part. Evaluation functions bring values and verdicts into query results, and the query panel helps you write queries and charts the answers.

Safe Model Updates

Change the model through an update API applied as edits to the files' text, all or nothing. Each change reports its diff and the diagnostics it added and removed, with a dry run to preview it first.

Notation and RDF, Both Ways

Export the model as textual notation or as RDF (TriG, N-Quads, Turtle), one named graph per file, and import RDF or .kpar archives back as notation. The round trip parses to the same graphs.

In Your Editor

Write the Model. Read the Answers Beside It.

Sysight turns VS Code into a SysML v2 workbench that understands the model, not only its syntax.

Navigation with outline, go to definition and find references, across files and into the standard libraries.
Insight on hover: what an element is, what it specializes and redefines, its computed value and its verdict.
The Sysight panel for queries, with completion from the ontology, saved queries committed with the model, and answers as tables, charts or headlines.
Sessions of queries and answers to rename, search and reopen later.

Vehicle.sysml

package VehicleModel {
    private import SI::*;

    part def Vehicle {
        // evaluates to 1130 kg
        attribute mass :> ISQ::mass = engine.mass + chassis.mass;
        part engine  { attribute mass :> ISQ::mass = 180 [kg]; }
        part chassis { attribute mass :> ISQ::mass = 950 [kg]; }
    }

    requirement def MassLimit {
        subject vehicle : Vehicle;
        require constraint { vehicle.mass <= 1500 [kg] }
    }

    part car : Vehicle;
    requirement carMass : MassLimit;                  // satisfied
    satisfy carMass by car;
}

How It Works

A SysML v2 Model, Held as a Knowledge Graph

Sysight is written in Rust and brings the semantic web foundations behind OML Code to SysML v2.

01 · Parse

Textual Notation

Your .sysml and .kerml files are read with the parser of Open-MBEE's sysml-toolkit. The standard KerML and SysML libraries are built in.

02 · Store

RDF Knowledge Graph

Each file becomes a named graph in an embedded Oxigraph store, typed by OWL ontologies shaped by the notation, so classes are named after keywords. Names re-resolve incrementally as files change.

03 · Answer

Model Server

One server per workspace serves HTTP, LSP and MCP from the same graph: diagnostics, values, verdicts and queries, plus updates written back as notation.

Why It Matters

Models That Answer Questions, Not Just Store Them

SysML v2 gives systems engineering a precise textual language and a formal semantics. Sysight puts that precision to work: the model is checked, computed and verified continuously, so problems surface while you write, not at the next review.

Because the model lives in a standard knowledge graph, the same facts that drive your editor drive your reports, your pipeline and your AI assistants. An agent that can query, evaluate and verify the model is an agent whose answers you can check.

What Teams Gain

Fast feedback: errors and violated requirements as you type, across the workspace
One source of truth for editors, scripts, pipelines and agents
Open standards: SysML v2, KerML, RDF, OWL, SPARQL, LSP and MCP
Grounded AI: agents that change the model and see the consequences
Runs anywhere: macOS, Linux and Windows, desktop or headless

Get Sysight

Free for Research and Learning. Licensed for Industry.

Prebuilt for macOS (Apple silicon and Intel), Linux (x86-64 and ARM) and Windows (x86-64).

Noncommercial

Students, researchers, educators

Every capability, the command line, VS Code and MCP
Standard KerML and SysML libraries built in
PolyForm Noncommercial License 1.0.0

Request Access

Commercial

Engineering organizations

A commercial license sized to your teams
CI integration and deployment support
Direct access to the Modelware team

Talk to Us

Bring Insight to Your SysML v2 Models

Tell us about your models and how your teams work with them, and we will help you get Sysight running in your editor, your pipeline and your agents.

Get Sysight Explore OML Code