leash health --url http://127.0.0.1:8000
curl -s http://127.0.0.1:8000/telemetry | jq
This runs entirely in simulation. No robot required.
Features
CLI, HTTP, and MCPOne runtime across human, app, and agent clients.
Simulation and replayDevelop without hardware and replay recorded runs deterministically.
Agent workflowsPersistent sessions, browser console, scoped capabilities, and supervised tasks.
Bounded navigationGoals, patrols, status, cancellation, deadlines, and verified stop.
CPU and CUDABounded sensor processing with CPU-authoritative GPU qualification and fallback.
ROS 2 and hardwareMapping and planning inputs plus feature-gated robot adapters; Waveshare UGV included.
Demo
Geek on a Leash
A full Rust Tuesdays walkthrough of Leash: runtime, safety boundary, ROS 2, CUDA, and a bounded UGV demo. Includes editable deck source, PDF, PowerPoint, speaker notes, preflight tooling, and a recorded fallback.
Leash owns the final command sent to the robot. Agents, planners, ROS 2 nodes, CUDA jobs, and apps can request work or provide evidence; they do not become another motor writer.
Physical motion is off by default and passes authorization, approval, freshness, deadman, collision, distance, Stop, and E-stop checks. Simulation and replay never actuate hardware.
Explore
AgentsRun durable sessions and bounded capability calls. Agent workflows →