In development · individual chapters

Verisyntax — User Manual (prototype 0.1)

Verisyntax source code uses English keywords and the .vsx file extension. This manual starts with a complete practical exercise and then explains the main desktop workflows. The application is local-first: the compiler, databases, imported files, generated executables, and optional Ollama requests stay on the computer unless you explicitly move or upload their files.

PrivacyThe public manual contains no personal archive references, user information, or local paths.

Choose a chapter. Every section opens as a separate page, so you do not have to navigate one long manual.

Verisyntax — User Manual (prototype 0.1)

Open the desktop application

Start Center: begin with what you already have

Verisyntax in five minutes

Practical exercise: import a CSV file and run a result

Practical article evidence project over time

Recipe: join customers and orders

Recipe: aggregated health data

More short recipes without data files

Choose SQLite or PostgreSQL

Supported import files

Use imported data

Logic example without a database

Bayesian example without an LLM

Optional local AI

Common problems

Current prototype boundaries