# Carotene Documentation

Carotene is an AI-native, language-agnostic development framework that constrains AI code generation within strict, test-driven contracts and sandboxed runtimes.

> [!IMPORTANT]
> For the **complete documentation** in a single file optimized for RAG and long-context LLMs, refer to [llms-full.txt](https://carotene.dev/llms-full.txt).

## Core Philosophy
- **AI as an Engine, Not an Architect**: The AI handles mechanical logic and boilerplate; the overarching architecture is deterministic and explicitly controlled.
- **Specification Over Prompting**: Replace fragile natural-language prompts with strictly typed, compilable contract files.
- **Deterministic Sandboxing**: No self-policing; relies on standard compiler constraints and isolated runtime environments.
- **Language Agnostic**: Declare architecture once; deploy to TypeScript, Go, Dart, and more.

## Key Sections
- [Getting Started](https://carotene.dev/getting-started/installation) - Installation and your first .carrot contract.
- [Framework Primitives](https://carotene.dev/framework-primitives/identity-and-auth) - Identity, Auth, Backend, and Frontend.
- [Data & State](https://carotene.dev/data-and-state/models-and-validation) - Models, Persistent Storage, and Workflows.
- [Execution](https://carotene.dev/execution-and-guardrails/functions-and-side-effects) - Side-effects, Sandboxing, and the Verb system.
- [Reference](https://carotene.dev/reference/language-syntax) - Full language syntax and Error Registry.

## Developer Links
- [GitHub](https://github.com/KiwiLee123/carotene-website)
- [MCP Server](https://carotene.dev/tooling-and-ai/mcp-server)
- [Full Documentation (Markdown)](https://carotene.dev/llms-full.txt)