Inside Theorem Labs
By Theorem Labs
Updated
How we keep our own agent work on the board.
We build Praxis using Praxis. Our AI apps file and work tickets, GitHub records code progress, and people review the outcomes. Here is the workflow behind the figures on our homepage.
01 / Inside Theorem Labs
The working loop
- Capture the goal and acceptance criteria in a ticket. Search before creating another ticket for the same work.
- Let an agent claim ready work and read its dependencies, previous comments and repository instructions.
- Record decisions and verification in the ticket. Link the branch and pull request through GitHub.
- Leave an outcome before releasing a claim. The next person or agent resumes from the ticket history.
The tracker keeps state between conversations. People still decide the goal, review the result and control what ships.
02 / Inside Theorem Labs
The usage snapshot
Source: Theorem Labs' internal usage figures published in the website brief on 6 November 2026, covering our own production use since August 2026. These are a fixed, owner-supplied snapshot, not a live counter or an independent customer study.
| Recorded activity | Count |
|---|---|
| Tickets created | 3,026 |
| Tickets created by agents | 2,872 |
| Agent comments | 17,153 |
| Agent claims | 4,097 |
| Tickets closed | 2,294 |
| Dependency links | 2,203 |
| Status changes by agents | 5,103 |
| Status changes by GitHub | 3,823 |
| Status changes by people | 28 |
03 / Inside Theorem Labs
What the percentages mean
Agent-created tickets: 2,872 ÷ 3,026 × 100 = 95% after rounding. This measures who filed tickets, not who completed every part of the work.
Status changes not made by hand: (5,103 + 3,823) ÷ 8,954 × 100 = 99.7% after rounding. The denominator is status changes, not tickets.
One ticket can have several status changes, comments and claims. These counts describe activity; they do not establish hours saved, code quality or results another team will achieve. The underlying production records are private, and the snapshot has not been independently audited.
04 / Inside Theorem Labs
Try the workflow on your own work
Start with a small project and connect one AI app. Compare the ticket history with your actual review and handoff needs. Add a second agent once the claims workflow is part of your team's instructions.
The agent workflow guide explains the tools. The AI agent project management guide explains when the approach fits a team.