{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"com.theorem-labs.praxis/praxis","description":"Project tracker for AI agents and teams: file, claim, update and hand off tickets over MCP.","title":"Theorem Praxis","version":"0.4.0","websiteUrl":"https://praxis.theorem-labs.com/ai","remotes":[{"type":"streamable-http","url":"https://praxis.theorem-labs.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-09T01:44:02.069691Z","publishedAt":"2026-11-09T01:44:02.069691Z","updatedAt":"2026-11-09T01:44:02.069691Z","isLatest":true}}}],"metadata":{"count":1}}