Docs

Documentation is coming.

The outline below is the shape it will take. Nothing here is written yet — we'd rather show the skeleton than publish filler.

InstallationCOMING SOON

What you need locally: a container runtime, a Python environment, and a robot description.

Your first taskCOMING SOON

Point Vesk at a robot description, describe what the robot should do, and read the run.

Reading a runCOMING SOON

Events, attempts, and how to tell a verified result from an advisory one.

The verification caseCOMING SOON

What gets asserted, and why it is generated alongside the node rather than after it.

Failure modesCOMING SOON

Build error, crash, assertion, timeout, vacuous — and what each one sends back to the fix loop.

Skipped checksCOMING SOON

Why a run reports what it could not check, and what that blocks.

Advisory resultsCOMING SOON

Physical simulation scoring, and why it never gates a verdict.

CAD manifestCOMING SOON

Links, joints, actuated joints, and the naming rules that make a model importable.

Supported stackCOMING SOON

ROS 2 Jazzy and MuJoCo. No Gazebo layer yet.

Want a specific page first? Tell us on the waitlist.