{"id":"com-theorem-labs-praxis-praxis","name":"com.theorem-labs.praxis/praxis","title":"Theorem Praxis","description":"Project tracker for AI agents and teams: file, claim, update and hand off tickets over MCP.","category":"communication","categories":["communication","agents-and-memory"],"flags":[],"users_30d":0,"health":{"status":"auth_required","latency_ms":946,"tool_count":null,"auth":"oauth","checked_at":"2026-11-09T04:10:20.028Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=com.theorem-labs.praxis%2Fpraxis&ref=tool-finder","details_url":"https://toolfindr.dev/servers/com-theorem-labs-praxis-praxis","health_error":"initialize: HTTP 401","repo_url":null,"website_url":"https://praxis.theorem-labs.com/ai","version":"0.4.0","remotes":[{"type":"streamable-http","url":"https://praxis.theorem-labs.com/mcp"}]}