com.theorem-labs.praxis/praxis
needs login checked
Unclaimed · Unverified
Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.
Publisher-provided title
Theorem Praxis
Publisher-provided description
Project tracker for AI agents and teams: file, claim, update and hand off tickets over MCP.
Summary by lookupd
Lets an agent create, claim, update and hand off project tickets so agents and teams can track shared work.
Install
Claude Code, remote (streamable-http)
claude mcp add --transport http praxis https://praxis.theorem-labs.com/mcp
Codex, remote (streamable-http)
codex mcp add praxis --url https://praxis.theorem-labs.com/mcp
Cursor, remote (streamable-http) → .cursor/mcp.json
{
"mcpServers": {
"praxis": {
"url": "https://praxis.theorem-labs.com/mcp"
}
}
}Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.
Details
- Version: 0.4.0
- Transports: streamable-http
- Uptime (7 days): 100%
- First indexed:
- Last seen in registry:
- Website: https://praxis.theorem-labs.com/ai
Badge for your README
Shows this live status and links here; updates hourly.
[](https://lookupd.com/servers/com.theorem-labs.praxis/praxis)
- 62141 servers
- Last crawl: 2026-11-11T18:39:04.612Z
- API base:
https://api.lookupd.com - MCP URL:
https://api.lookupd.com/mcp