cosmic-mcp

All servers

mcp

io.github.lemmaoracle/mcp · version 0.0.17

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

https://github.com/lemmaoracle/lemma

Quick facts

  • Listing: Community
  • Published May 18, 12:25 UTC
  • Transport: stdio
  • Package: npm @lemmaoracle/mcp 0.0.17
  • Listed by cosmic-mcp: Nov 9, 04:26 UTC

Documents and PDF

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Remote MCP URL (Claude and ChatGPT custom connectors)

https://mcp.lemma.workers.dev/mcp

Claude Code

claude mcp add --transport http 'mcp' 'https://mcp.lemma.workers.dev/mcp'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "mcp": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

Run it locally (npm)

npx -y '@lemmaoracle/[email protected]'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "mcp": {
      "args": [
        "-y",
        "@lemmaoracle/[email protected]"
      ],
      "command": "npx",
      "env": {
        "LEMMA_API_BASE": "<your lemma api base>",
        "LEMMA_API_KEY": "<your lemma api key>"
      }
    }
  }
}

Claude Code

claude mcp add 'mcp' -- npx -y '@lemmaoracle/[email protected]'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "mcp": {
      "args": [
        "-y",
        "@lemmaoracle/[email protected]"
      ],
      "command": "npx",
      "env": {
        "LEMMA_API_BASE": "<your lemma api base>",
        "LEMMA_API_KEY": "<your lemma api key>"
      }
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "mcp": {
      "args": [
        "-y",
        "@lemmaoracle/[email protected]"
      ],
      "command": "npx",
      "env": {
        "LEMMA_API_BASE": "<your lemma api base>",
        "LEMMA_API_KEY": "<your lemma api key>"
      },
      "type": "stdio"
    }
  }
}

Related servers

  • adeu Verified domain
    Automated DOCX Redlining Engine
  • Web Content & URL Tools Verified domain
    26 tools: web pages to Markdown, metadata, tech stack, SSL, SEO, domains, email auth and SSO checks.
  • 16暗影心理测评 Verified domain
    Chinese psychological assessments with guided questions, scoring, PDF reports, and user profiles.
  • 1c-rest-mcp
    MCP server for 1C Enterprise — ERP catalogs, documents via REST API (Russia)
  • 2kw.ai Verified domain
    EU-hosted AI platform: OpenAI-compatible LLM gateway, document extraction, transcription, agents.
  • 313 Automations Verified domain
    Read-only facts, starting prices, pages as Markdown and site search for 313 Automations, Lahore.