Features

Feature	Description
Bidirectional Projective Editing	Provides synchronized textual and graphical editing of the same underlying SysML v2 semantic model. Users can modify the model through either representation: graphical edits are projected back into SysML text, while textual edits are re-evaluated and reflected in the graphical representation. This allows engineers to move between textual and graphical modeling without maintaining separate model representations.
Browser-Based SysML v2 Model Development and Integration	Integrated browser-based engineering environment for working with SysML v2 and KerML models.
Serverless / Local Execution	Kotar runs locally in the browser. Normal model processing and file operations do not require model data to be uploaded to a Kotar backend.
Local File System Access	Opens and works directly with local files and directories using browser File System Access capabilities. Files remain accessible to other local tools such as Git clients, editors, scripts, and command-line utilities.
Engineering Workspaces	Manages complete engineering workspaces containing SysML/KerML models, scripts, CSV data, configuration, generated artifacts, and other supporting files.
SysML v2 / KerML Text Editor	Language-aware textual model editor with syntax and semantic analysis.
Diagnostics	Detects syntax errors, semantic errors, validation findings, lint findings, and other model problems using standard IDE-style hints, warnings, and errors.
Model Validation	Performs semantic and model-aware validation of SysML v2 and KerML models.
Model Linting	Checks models against modeling conventions and recommended practices.
Quick Fixes	Provides automated corrections for supported lint and model problems, including fixes for individual occurrences or an entire file.
SysML Formatting	Formats textual SysML according to configured formatting rules and automatically formats generated model content.
Graphical Modeling	Provides a graphical editor for navigating and modifying the SysML model.
Text / Graphical Synchronization	Textual and graphical representations operate on the same semantic model so changes can be reflected between representations.
Constraint Propagation	Derives information and allowable ranges from constraints defined in the model.
Requirement & Constraint Verification	Evaluates model constraints and requirements and distinguishes satisfied, violated, undecided, and inferred results.
Solver-Based Analysis	Architecture supports SMT-based analysis, including satisfiability checking and witness generation.
Interactive REPL	Evaluates SysML/KerML expressions and queries interactively for model exploration and analysis.
Browser Terminal	Provides a shell-like terminal for advanced engineering and automation workflows.
SysML v2 CLI	Provides command-line operations including validation, linting, formatting, querying, evaluation, inspection, parsing, semantic diff, verification, refactoring, contextual JSON, and diagram generation.
Model Query & Inspection	Queries model content and inspects elements, metaclasses, ownership, membership, and other semantic information.
Semantic Diff	Compares models based on their semantic content rather than only textual differences.
Model-Aware Refactoring	Performs refactoring operations using knowledge of the SysML semantic model.
Diagram Generation	Generates PlantUML-based diagram information from SysML models.
Local Engineering Services	Can run engineering services locally, including a SysML v2 service, Flexo/MMS, RDF Quad Store, and SQLite.
Service/API Interface	Provides an advanced interface for inspecting local services, viewing logs, and issuing HTTP/API requests.
Flexo / MMS Integration	Integrates with Flexo/MMS for SysML model persistence, commits, revision management, and model deltas.
Remote Model Repository Access	Connects to remote Flexo/SysML v2 services, enumerates projects, and checks projects out into local Kotar workspaces.
SQLite Engineering Data	Provides a graphical table interface backed by SQLite for managing structured engineering data.
CSV Data Interface	Opens CSV engineering data in a table-oriented interface with filtering and data-processing capabilities.
Data-to-Model Transformation	Transforms external engineering information such as CSV or SQL data into SysML v2 model content.
TypeScript Transformations	Supports model-aware TypeScript transformation scripts with generated type information for both the SysML model and engineering data sources.
Transformation Review	Stages generated model changes as diffs so users can review generated content, validation, and lint results before accepting changes.
Generated-Element Identification	Visually distinguishes generated model elements from manually authored model content.
Digital Thread Engine	Records the relationship between generated model elements, transformation logic, source data, and source versions/digests.
Transformation Change Detection	Detects when source data or transformation logic has changed since model content was generated.
Automatic Workspace Revision History	Automatically records fine-grained revisions of the complete engineering workspace, including models, scripts, data, and configuration.
Non-Destructive Revision Restore	Restores previous workspace states by creating a new forward revision rather than deleting later history.
Git Integration	Allows engineering workspaces to be managed as Git repositories and uses Git commits as intentional engineering checkpoints.
Shadow Git History	Can represent fine-grained automatic Kotar revisions in a separate Git history and optionally persist that history remotely.
Git / Flexo Traceability	Associates Git workspace commits with corresponding Flexo model commits, linking the complete engineering workspace to the authoritative model state.
Model Quality Gates	Supports keeping incomplete engineering work in Git while promoting valid model states to Flexo based on model validity and quality criteria.
External Tool Compatibility	Local workspace files can also be edited by external editors, Git clients, scripts, and other development tools.
Hosted and Desktop Deployment	Available as a serverless hosted browser application and as a desktop/local deployment for environments with additional security or integration requirements.