cosmic-mcp

All servers

Proven

io.github.malikabyl/proven ยท version 0.2.0

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

Judge AI-written Python: no invented packages or calls, no facts from memory, verified LLM output.

https://github.com/malikabyl/proven

Quick facts

  • Listing: Community
  • Published Nov 3, 13:59 UTC
  • Transport: stdio
  • Package: pypi proven-judge 0.2.0
  • Listed by cosmic-mcp: Nov 9, 04:26 UTC

AI and LLMs Memory and knowledge

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.

Run it locally (pypi)

uvx 'proven-judge==0.2.0'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "proven": {
      "args": [
        "proven-judge==0.2.0"
      ],
      "command": "uvx"
    }
  }
}

Claude Code

claude mcp add 'proven' -- uvx 'proven-judge==0.2.0'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "proven": {
      "args": [
        "proven-judge==0.2.0"
      ],
      "command": "uvx"
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "proven": {
      "args": [
        "proven-judge==0.2.0"
      ],
      "command": "uvx",
      "type": "stdio"
    }
  }
}

Related servers

  • Harness Verified domain
    Start Claude Code and Codex agents the person can watch, wait for them and read their answers.
  • Anki MCP Server Verified domain
    MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.
  • docs-mcp Verified domain
    Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.
  • spotdb Verified domain
    Ephemeral data sandbox for AI workflows with guardrails and security
  • AgentPlaybooks Verified domain
    Vendor-neutral home for portable agents: skills, MCP tools, memory, canvas, and secret proxy.
  • Achromat Machine Operational Memory Verified domain
    Recall and calibrate policy-compliant tool-call arguments before execution. Does not run the tool.