Welcome
Sinatra turns Linear tickets into GitHub PRs via autonomous coding agents.
Sinatra is a hosted agent platform that watches your Linear workspace, picks up tickets assigned (or @-mentioned) to the agent, and opens GitHub pull requests with a working solution. Connect Linear and GitHub, bring an LLM key (or use ours), and assign issues like a teammate.
Where to start
Getting started
Concepts, glossary, and how Sinatra fits into a team's workflow.
Quickstart
Connect GitHub + Linear and ship your first PR.
Cloud platform
What the hosted platform runs for you, and how pricing works.
Configuration
Connecting your tools, model access, and the per-repo `.sinatrarc` reference.
Troubleshooting
Why the agent didn't pick up your ticket, no PR appeared, or a run stalled.