Praxis + Claude Code
By Theorem Labs
Updated
Claude Code works. The ticket keeps the history.
Use Theorem Praxis as Claude Code's shared project tracker. The Praxis plugin connects Claude Code to tickets, claims, comments, Notes and Updates, and includes skills for the work from intake to handoff.
01 / Praxis + Claude Code
Install and sign in
Start with a Praxis account and a project you can access. In a terminal, install the Praxis plugin from Theorem Labs:
claude plugin marketplace add Theorem-Labs-LLC/praxis-plugin
claude plugin install praxis@theorem-labsIn Claude Code, run /mcp, choose Praxis and sign in. Pick the organization and projects, then choose read-only or read-and-update access. Ask Claude to run praxis_meta and confirm the project before working.
If you only want the MCP server, add it directly instead:
claude mcp add --transport http praxis https://praxis.theorem-labs.com/mcpThe server-only connection does not install the plugin's workflow skills. Follow the agent workflow or add the instructions described in manual setup.
02 / Praxis + Claude Code
Start with a read, then take a ticket
- Use
/praxis:statusfor a read-only board summary. Confirm the connection can see the intended work. - Use
/praxis:nextwhen you are ready to take a ticket. It claims work, so run it only when the agent should start. - Have Claude read the ticket, previous comments and repository instructions, then implement and verify the work.
- Use
/praxis:handoff WEB-42with your real ticket key to record the outcome and release the claim.
For intake, /praxis:file proposes tickets from a conversation and asks for confirmation. /praxis:update drafts a stakeholder update; it does not publish it automatically.
03 / Praxis + Claude Code
Keep parallel sessions coordinated
A claim has a 60-minute default lease. Other agents using the claims workflow can see who holds the work and choose another available ticket. Leave the checks you ran and the decisions the next agent needs in the ticket thread.
Codex, Cursor or another connected app can read the same ticket and outcome. Shared tracking does not depend on keeping the original Claude conversation open.
04 / Praxis + Claude Code
Your subscription and your permissions
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.
Claude Code runs the agent using your own Anthropic access. Praxis supplies the tracker and MCP tools. For connection problems, check troubleshooting and the plugin repository.