# Provefab

> Provefab turns labelled GitHub, Jira Cloud or Linear issues into pull requests that arrive green: an AI agent (Claude Code, Codex or Pi) plans and codes in an isolated worktree, the repository's own format, lint and test commands decide, and a model from a different family reviews. Each pull request carries its evidence. It runs on the user's Mac or Linux server (x86_64, ARM64; a systemd user service) with their own model plans or API keys. The core is source-available (Functional Source License, Apache 2.0 after two years); Provefab Pro (EUR 79 per month per GitHub organization) adds a second reviewer, merge policies, cost reports, reviewer calibration reports and rule proposals.

## Docs

- [Set up with a coding agent](https://provefab.com/docs/agents.md): what an agent runs to configure Provefab on a repository, and what it leaves to the person
- [Overview](https://provefab.com/docs/index.md): what Provefab does and the quick start
- [Configuration](https://provefab.com/docs/configuration.md): models, repositories, gates, sign-in per model
- [Usage](https://provefab.com/docs/usage.md): labelling issues, reading results, writing issues that land
- [Operations](https://provefab.com/docs/operations.md): the background service, logs, upgrades
- [Security](https://provefab.com/docs/security.md): the guard, who can trigger Provefab, keys
- [Provefab in one file](https://provefab.com/llms-full.txt): everything in one file, the home and every docs page

## Guides and comparisons

- [How to verify AI-generated pull requests](https://provefab.com/guides/verify-ai-pull-requests.md): what an AI pull request must show before a person merges it
- [Run Claude Code and Codex on a headless Linux server](https://provefab.com/guides/run-claude-code-codex-on-linux-server.md): sign-in without a browser, keys at mode 600, a systemd user service
- [Jira or Linear ticket to pull request, without a hosted agent](https://provefab.com/guides/jira-linear-ticket-to-pull-request.md): the label, what Provefab writes on the ticket, how the pull request links back (beta)
- [Claude Code GitHub Actions vs Provefab](https://provefab.com/compare/claude-code-github-actions.md): GitHub-hosted runners and an @claude mention, or your own machine, a label and a review from another provider
- [Copilot coding agent and Codex cloud vs a local, verified pipeline](https://provefab.com/compare/copilot-coding-agent.md): hosted sandboxes compared with agents on your own machine
- [Self-hosted Devin alternative](https://provefab.com/alternatives/devin.md): Devin compared with Provefab on your own Mac or Linux server
- [no_human alternative](https://provefab.com/alternatives/no-human.md): no_human and Provefab compared: review vendor, triggers, platforms, license and merge

## Product

- [Home and pricing](https://provefab.com/index.md): how it works, free core and Pro
- [Source code](https://github.com/provefab/provefab): the source-available core on GitHub
- [Terms of sale](https://provefab.com/terms.md)