# Sleepy

> Sleepy is a hosted evolutionary code-optimization service. You point it at a
> project, and it evolves faster implementations while proving they still pass
> your own tests and benchmarks. Correctness is checked before any speedup is
> measured, and nothing reaches your working tree until you apply it.

Sleepy runs as a hosted MCP service at https://sleepy.run/mcp. The CLI and the
macOS desktop workbench are clients of that service. Optimization runs are
code-blind: the hosted control plane coordinates the search, while candidate
source and evaluation stay on the machine that owns the code.

## How a run works

- A run explores candidate implementations over successive generations.
- Every candidate must pass the project's existing tests before its performance
  is measured. A candidate that fails correctness is never reported as a win.
- Measurement is paired and repeated rather than single-shot, so a result has to
  survive noise to count as an improvement.
- A verified winner is presented for review with its evidence. You apply,
  decline, or revert it; Sleepy does not write to your tree on its own.

## Docs

- [First-run guide](https://sleepy.run/start): install, authenticate, and drive a first run.
- [Proof](https://sleepy.run/proof): what Sleepy verifies, and what it deliberately does not claim.
- [FAQ](https://sleepy.run/faq): scope, languages, privacy, and limits.
- [Status](https://sleepy.run/status): service availability.
- [Blog](https://sleepy.run/blog): engineering write-ups, including the code-blind design.

## Downloads

- [Sleepy Workbench for macOS](https://sleepy.run/#downloads): Developer ID signed and Apple-notarized. Apple silicon only; Intel Macs should use the CLI.
- [Companion CLI](https://github.com/fugue-labs/sleepy-releases/releases/latest): macOS and Linux, x86_64 and arm64. Checksums, SBOMs, and provenance are attached to each release.

## Notes for automated agents

- The public client artifacts are built from a flavor that excludes the hosted
  control-plane surfaces; the CLI is not a way to self-host the service.
- Language support is not universal. Go and Rust projects are supported for
  optimization runs; check the FAQ before assuming coverage for another
  ecosystem.
- Claims on this site are scoped to what the tooling verifies. Prefer the Proof
  page over marketing phrasing when summarizing what Sleepy guarantees.
- Contact: https://sleepy.run/support