Use IOModel extensions in your IDE to edit models and specs with live feedback.
The IDE extension brings IOModel into your editor, so you can work with file-based Git-projects next to your code with live feedback.
In this section
VS Code and Cursor Extension
Install and use the extension in your editor.
Git Project
File-based projects stored in a Git repository.
Developer Tooling
CLI basics and CI validation.
Git-project workflow
File-based projects (previously described as local projects) are documented as Git-projects here, because they live in a Git repository and use Git for versioning.
Last updated on