diff --git a/leash.html b/leash.html index 8367f6e..af918db 100644 --- a/leash.html +++ b/leash.html @@ -4,39 +4,34 @@ leash — safe robot control from CLI, HTTP, and MCP | specdog - + @@ -58,11 +53,12 @@

leash

Safe robot control from the CLI, HTTP, and MCP.

-

Leash is an open-source Rust runtime for controlling robots. Start in simulation. Connect real hardware when you're ready.

+

Open-source Rust runtime for simulation, replay, agents, navigation, ROS 2, CUDA, and real robots — with one safety boundary before motion.

Get started GitHub + Demo
@@ -73,79 +69,55 @@

leash

Quick start

-
cargo install leash-harness
 leash run sim-http
- -

Then, in another terminal:

-
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.

-

This runs entirely in simulation. It cannot move physical hardware.

- -

For MCP:

- -
leash run sim-mcp
- -

What it does

- +

Features

-
ControlCLI, HTTP, WebSocket/SSE, and MCP.
-
SimulateRun and test without a robot connected.
-
ReplayRecord runs and replay them through the same telemetry path.
-
NavigateSubmit bounded goals, patrols, cancellations, and verified stops.
-
Connect hardwareUse feature-gated robot adapters when you're ready to leave simulation.
-
Process sensor dataRun bounded CPU jobs and optional CUDA acceleration.
+
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.
-

Safety

- -

Leash owns the final command sent to the robot.

- -

A planner, ROS 2 node, model, app, or agent can ask Leash to do something. It cannot write to the motors directly.

- -

Physical motion is off by default. Hardware commands pass authorization, approval, sensor freshness, deadman, collision, distance-limit, Stop, and E-Stop checks before reaching the robot.

- -

Agents can request motion. Leash decides whether motion is allowed.

- -

Real hardware

+

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. +
+

Open the demo package →

-

The current hardware implementation is the Waveshare UGV stack.

+

Safety boundary

+

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.

-

Robot-specific device paths, calibration, deployment, rollback, and field evidence stay outside the reusable core. ROS 2 can provide mapping, localization, and navigation data; Leash remains the motor owner.

+

Explore

+
+
AgentsRun durable sessions and bounded capability calls.
Agent workflows →
+
NavigationSubmit and supervise bounded goals.
Navigation API →
+
ComputeUse authenticated CPU/CUDA spatial jobs.
Compute API →
+
HardwareWaveshare UGV, calibration, ROS 2, deployment, and field proof.
Waveshare stack →
+

Open source

- -

Contributors

-
git clone https://github.com/specdog/leash.git
 cd leash
 npm ci
 cargo build
 cargo run -- run sim-http
+

MIT licensed. Human contributors start with CONTRIBUTING.md; coding agents start with AGENTS.md.

-

Work from current main on a branch. Keep hardware changes feature-gated and test the simulation path without hardware.

- -

Contributing guide

- -

Coding agents

- -

Start with the repository's AGENTS.md. Project structure is available through the compiled DotDog graph:

- -
npm ci
-npx dotdog serve
- -

Agents query specs/leash/leash.dag. Humans own the .dog source.

- -

Learn more

- -

- GitHub · - README · - Docs · +