Skip to content
Claude Code

Theorem Praxis for Claude Code

com.theorem-labs.praxis/praxis

Project tracker for AI agents and teams: file, claim, update and hand off tickets over MCP.

client:Claude Code transport:streamable-http

Install Theorem Praxis in Claude Code

run in your project directory

claude mcp add --transport http praxis https://praxis.theorem-labs.com/mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

Theorem Praxis in other clients