Loading…
Project tracker for AI agents and teams: file, claim, update and hand off tickets over MCP.
Theorem Praxis is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 100/100. This catalog entry has no indexed GitHub repository. The command is the string recorded from the source. It is not proof of a one-click install in every client. An MCP server exposes callable tools to a client. An agent skill is an instruction package. This entry is an MCP server record. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. Review the repository push date and repository status before adding Theorem Praxis to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
mcp add com.theorem-labs.praxis/praxis https://praxis.theorem-labs.com/mcpThe command is the string recorded from the source. It is not proof of a one-click install in every client.
Review the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-11-09T01:44:02.069691Z",
"publishedAt": "2026-11-09T01:44:02.069691Z",
"statusChangedAt": "2026-11-09T01:44:02.069691Z"
}
},
"server": {
"name": "com.theorem-labs.praxis/praxis",
"title": "Theorem Praxis",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://praxis.theorem-labs.com/mcp",
"type": "streamable-http"
}
],
"version": "0.4.0",
"websiteUrl": "https://praxis.theorem-labs.com/ai",
"description": "Project tracker for AI agents and teams: file, claim, update and hand off tickets over MCP."
}
}