# Boring Infra Co. Documentation

> Local-first, inspectable CLI tools for dev environments, cloud sandboxes, stack context, agent security, shared workspaces for humans and agents, cross-agent work continuity, and verification state.

Curated documentation for Boring Infra Co. products and guides. Follow links to markdown pages for full detail.

## Overview

- [What is Boring Infra Co.?](https://boringinfra.company/docs/index.md): Local-first infrastructure tools for the parts of software nobody wants to think about.

## Get Started

- [Quick Start](https://boringinfra.company/docs/getting-started/quick-start.md): Choose your first Boring Infra Co. tool and get running in minutes.

- [Philosophy](https://boringinfra.company/docs/getting-started/philosophy.md): Why Boring Infra Co. builds local-first, inspectable infrastructure tools.

## Products

### Root

- [Overview](https://boringinfra.company/docs/products/root/overview.md): Deterministic CLI tool installs with undo — without learning Nix.
- [Quick Start](https://boringinfra.company/docs/products/root/quick-start.md): Install Root and your first CLI tool in under five minutes.
- [Use Cases](https://boringinfra.company/docs/products/root/use-cases.md): Common workflows for deterministic CLI tool management with Root.

### Sandman

- [Overview](https://boringinfra.company/docs/products/sandman/overview.md): Disposable cloud environments in seconds — on your accounts, with TTL and auto-reap.
- [Quick Start](https://boringinfra.company/docs/products/sandman/quick-start.md): Install Sandman and create your first disposable cloud environment.
- [Use Cases](https://boringinfra.company/docs/products/sandman/use-cases.md): Common workflows for disposable cloud environments with Sandman.

### Combie

- [Overview](https://boringinfra.company/docs/products/combie/overview.md): Engineering context and operational memory for your stack — connect once, investigate anywhere.
- [Quick Start](https://boringinfra.company/docs/products/combie/quick-start.md): Connect your engineering stack and run your first investigation.
- [Use Cases](https://boringinfra.company/docs/products/combie/use-cases.md): Common workflows for engineering context and operational memory.

### Pico

- [Overview](https://boringinfra.company/docs/products/pico/overview.md): Discover the dangerous paths your AI agents create — local-first security observability.
- [Quick Start](https://boringinfra.company/docs/products/pico/quick-start.md): Install Pico and run your first workspace scan.
- [Use Cases](https://boringinfra.company/docs/products/pico/use-cases.md): Security observability workflows for AI-assisted development.

### Harnie

- [Overview](https://boringinfra.company/docs/products/harnie/overview.md): Local-first work-state for coding agents — import, inspect, and hand off across harnesses.
- [Quick Start](https://boringinfra.company/docs/products/harnie/quick-start.md): Import an agent session and create your first cross-agent handoff.
- [Use Cases](https://boringinfra.company/docs/products/harnie/use-cases.md): Cross-agent work continuity with evidence-backed handoffs.

### Meno

- [Overview](https://boringinfra.company/docs/products/meno/overview.md): Bind evidence to the exact software state it observed — local verification state for humans and agents.
- [Quick Start](https://boringinfra.company/docs/products/meno/quick-start.md): Install Meno and evaluate your first claims in a Git work tree.
- [Use Cases](https://boringinfra.company/docs/products/meno/use-cases.md): Bind tests, browsers, and humans to the exact software state they observed.

### Campfire

- [Overview](https://boringinfra.company/docs/products/campfire/overview.md): Give your agents a place to work together — a shared workspace for humans and AI agents.
- [Quick Start](https://boringinfra.company/docs/products/campfire/quick-start.md): Create a workspace, add people and agents, and give them a goal.
- [Use Cases](https://boringinfra.company/docs/products/campfire/use-cases.md): Give a team and its agents the same place to see the work.

## Guides

- [Agents Overview](https://boringinfra.company/docs/guides/agents.md): How Boring Infra Co. tools integrate with AI coding agents.

- [Product Comparison](https://boringinfra.company/docs/guides/comparison.md): Which Boring Infra Co. tool fits your workflow.

## Optional

- [Company llms.txt](https://boringinfra.company/llms.txt): Top-level product portfolio index for AI agents