Praxis + Codex
By Theorem Labs
Updated
Give Codex a ticket. Keep the outcome for the team.
Theorem Praxis gives Codex a shared project tracker through remote MCP. Codex can read your board, create and update tickets, claim ready work and leave an outcome for the next person or agent.
01 / Praxis + Codex
Connect Codex to Praxis
You need Codex CLI with remote MCP support and a Praxis account with project access. Add the server from a terminal:
codex mcp add praxis --url https://praxis.theorem-labs.com/mcpComplete the browser sign-in. If sign-in does not open, run:
codex mcp login praxisOn Praxis's consent page, choose the organization, projects and read-only or read-and-update access. Reload Codex's tools if necessary. Run praxis_meta and check the returned projects, then ask for a board summary. This verifies access without creating a test ticket.
02 / Praxis + Codex
Add your team's working instructions
Keep your repository's existing instructions and add the Praxis workflow described in manual setup. Record the intended project key, how to verify changes and when to request a review. Keep personal keys out of the repository.
Read our Praxis board and existing ticket comments. Summarize ready work without claiming or changing anything.Once you are ready for Codex to work, use a request such as:
Take the highest-priority ready Praxis ticket. Read its context, implement it, run the relevant checks, and record verification and an outcome before handing it back.03 / Praxis + Codex
Use claims for work in parallel
next_task selects and claims ready work atomically. claim_issue claims a named ticket. An assignee records who owns the work; a claim records which agent currently holds it. Blocked work is excluded from next_task.
The default claim lease is 60 minutes. Releasing a claim requires an outcome, saved in the ticket thread. Another Codex session or Claude Code can read it before continuing. Your agents must use claims to benefit from this coordination.
Connect GitHub to link branches and pull requests to tickets, and configure forward status moves as branches, PRs and merges appear. See GitHub setup.
04 / Praxis + Codex
Control access and cost
Choose the organization, projects and read-only or read-and-update permission when you connect. An agent works with your access. Disconnect it in Settings › AI tools; access ends on the next request. MCP tools cannot delete tickets, change settings or manage members.
Free covers up to 2 people, with unlimited projects and agents. Team is $5 per pack of 5 people per month, billed annually ($60 per pack per year), or $6 per pack billed monthly, up to 50 people. Your AI subscriptions are separate. See all plans.
Praxis does not run Codex or provide model access. Use your own Codex access. See connection troubleshooting if authentication or tools do not appear.