# Aleph

> Aleph is an open-source declarative language for backends. You describe routes, data, and logic in TypeScript; the SDK compiles them into a manifest whose every request has a statically known worst-case usage, checked against fixed limits.

## Docs

- [Introduction](/docs/): What Aleph is, why a backend as a description helps, and how it runs.
- [Quickstart](/docs/quickstart/): Install, describe a backend, see its worst case, test it, and serve it.
- [Tutorial: a team task tracker](/docs/tutorial/): Orgs, roles, queries, counters, events, and a schedule, step by step.
- [Example apps](/docs/examples/): Complete apps to read and run.
- [How Aleph programs work](/docs/programming-model/): How your code runs, where state lives, what the usage limits count, and what the language leaves out.
- [Bounded by construction](/docs/bounded-by-construction/): How every request's worst case is computed before it runs, and enforced while it runs.
- [Shared infrastructure and isolation](/docs/shared-infrastructure/): Why bounded apps can share processes and databases, and how they stay apart.
- [Running Aleph](/docs/running/): What a runtime needs to run Aleph apps, and the usage and logs it gets.
- [Use cases and alternatives](/docs/use-cases/): What Aleph is good at, what it isn't, and how it compares.
- [Routes and auth](/docs/routes/): Inputs, statuses, errors, idempotency, rate limits, and who may call a route.
- [Data](/docs/data/): Entities, keys, indexes, counters, reading and writing, types, and null.
- [Logic and expressions](/docs/logic/): Guards, branches, bounded loops, list and string helpers, decimals, and time.
- [Transactions and schema changes](/docs/transactions/): One transaction per request, effects released once, and safe schema changes.
- [Background work and workflows](/docs/background-work/): Events, queues, schedules, and durable multi-step workflows.
- [Files](/docs/files/): Buckets of uploaded files, signed URLs, and upload handlers.
- [Integrations and API surface](/docs/integrations/): Outbound calls, webhooks, OpenAPI, MCP, and typed clients.
- [Testing and local development](/docs/testing/): Worked examples as tests, and aleph dev.
- [CLI](/docs/reference/cli/): Every aleph command and flag.
- [SDK](/docs/reference/sdk/): The @aleph-lang/sdk API.
- [Limits](/docs/reference/limits/): Per-request and per-job budgets, and other hard limits.
- [Diagnostics](/docs/reference/diagnostics/): What each validation error means and how to fix it.
- [Manifest format](/docs/reference/manifest/): The JSON format a runtime executes, and its schema.
- [Roadmap and status](/docs/roadmap/): What exists today, and what's planned.
- [Contributing](/docs/contributing/): Repository layout, local checks, and how changes land.

## Full text

- [All docs in one file](/llms-full.txt)