Documentation Index
Fetch the complete documentation index at: /llms.txt
Use this file to discover all available pages before exploring further.

Skip to main content

🚧 Work in progress: these docs are still being polished and may change.

Proto home page

GitHub
Discord
Design >
Design >

Language

Introduction
Installation
Quickstart

Language Concepts

Architecture Overview
Sequences
Segments
Constructs
Generators
Constraints
Optimizers
Programs
Tools

Language Guides

Using Constraints
Using Generators
Using Optimizers

Constraints

Generators

Optimizers

Beam Search Optimizer
Cycling Optimizer
Gradient Optimizer
MCMC Optimizer
Rejection Sampling Optimizer

Autoregressive

Autoregressive

Autoregressive generators produce a sequence token by token from a prompt, suited to de novo generation.

Autoregressive generators produce a sequence token by token from a prompt, suited to de novo generation.

Semigreedy Mutation Generator

Evo1 DNA Language Model

⌘I

Powered byThis documentation is built and hosted on Mintlify, a developer documentation platform