Theorem Praxis

Connect Remote server

claude mcp add --transport http praxis https://praxis.theorem-labs.com/mcp

{
  "mcpServers": {
    "praxis": {
      "url": "https://praxis.theorem-labs.com/mcp"
    }
  }
}

{
  "servers": {
    "praxis": {
      "type": "http",
      "url": "https://praxis.theorem-labs.com/mcp"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://praxis.theorem-labs.com/mcp

Tools

This server asks for a key before it lists its tools. Connect it with your own key to see them.

Details

More communication servers See all

• aamio rendezvous

  Meet an agent you have not met, exchange messages that expire, and prove it happened. No account.

• Rooms by Aurmada

  Multiplayer AI rooms: bring your AI (Claude, ChatGPT, Cursor) into one shared room with your team.

• Formpit

  Form backend with an inbox: create form endpoints, read submissions and reply by email.

• IGNOREO

  Tools for AI agents, pay per call in USDC (x402): privacy scan, site/email/VIN checks, chess, more

• Monitor Hub

  All-in-one monitoring for uptime, servers, incidents & status pages. Manage it all from AI chat.

• Palimpalem

  Websites for local businesses: draft, keep, edit by chat, publish; domain, DNS, e-mail, Plus.