Documentation
Praxis docs.
Setup, the agent workflow, and every feature. Short pages, real steps.
The one address every app uses
https://praxis.theorem-labs.com/mcpStart
Connect AI apps
- Connect AI appsConnect Claude, ChatGPT, Claude Code, Codex, Cursor, VS Code or Windsurf to Praxis at one MCP address with sign-in.
- Manual setup with a personal keyConnect an AI tool with a personal Praxis key and bearer header, check the key from a terminal, and add the project workflow.
- Tool referenceEvery Praxis MCP tool, whether it reads or writes, and what it does: tickets, coordination, updates, notes, search and fetch.
- Permissions and accessWhat a connected AI app or personal key can and cannot do, how roles limit it, how to change access, and how long sign-ins last.
Using Praxis
- Agent workflowHow an AI agent should work a Praxis board: discover, claim, work, record an outcome, and stay current without collisions.
- Skills and commandsThe workflows every agent gets on connect, the four Praxis skills, the Claude plugin's commands, and where your team's own conventions go.
- Boards and viewsUse the Board, Tree, Dependencies, Map and Flow views, the filters and availability meter, and the keyboard shortcuts.
- TicketsCreate tickets, set types, priorities and story points, use epics and blockers, search, mention people and handle edit conflicts.
- NotesPrivate-by-default organization notes with priorities, pins, colours, checklists, sharing, comments, reminders and agent access.
- UpdatesShare plain-language project updates with media, source tickets and feedback, and let followers know when work ships.
Integrations
- GitHubLink branches, commits and pull requests to tickets, move tickets automatically, and backfill lines changed.
- Channel announcementsPost a project's new tickets, status moves and comments into a Slack, Discord or Microsoft Teams channel.
- Import and exportImport a Jira or Linear CSV or a Trello board, move a project between workspaces with a Praxis archive, and export a project as an archive or as JSON.
- NotificationsUse the inbox, choose which events notify you, and turn on push notifications for iPhone, iPad, Mac, Windows and Android.
Admin and security
Help