Standalone macOS application

Write, compile, and document locally.

The standalone IDE opens projects, saves .vsx programs, displays C++ diagnostics, imports data, and runs native builds. This website is an introduction; executable IDE features stay in the local application.

Verisyntax logo

From model to result

1

Check

The C++ parser and type checker report precise diagnostics.

2

Compile & build

The exact document is checked, converted to IR v1 and C++, and linked locally in one automatic workflow.

3

Run

A separate confirmation shows executable hash, result mode, and optional audit before execution.

Import and review

CSV, JSON, line text, and XLSX are previewed before commit, and several files may be imported in one batch. Imported cells or verbatim article passages may become mentions; a fact still requires separate hash-bound approval.

Controlled start

Start Center can open a blank model, local data file, existing table, project folder, or article project. Clear model requires confirmation and does not delete files, data, or review history.

Joins and project logic

The desktop composer builds explicit compiler-validated joins across two to eight sources. Approved facts and rules remain available read-only as a versioned project-logic collection.

Local AI is optional, off until explicitly invoked, and restricted to loopback. qwen3.6:35b-a3b passed the current bounded code suite 10/10 twice, including typed fields and multi-source joins. This does not establish robust quality on large or ambiguous projects. Every proposal is C++-validated, preservation-checked, and requires explicit application.