Skip to content
mcp/harbor
Verified official

Theorem Praxis MCP

v0.4.0

com.theorem-labs.praxis/praxis

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

transport:streamable-http
Website

Target client

run in your project directory 

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

setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok ChatGPT Claude.ai LangChain

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

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.