Proven

io.github.malikabyl/proven

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

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.2.0
Registry
active
Published
11/3/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.malkreide/amtsblatt-mcp

malkreide

Swiss official gazettes (SHAB + cantonal) — procurement & notices, person-data rubrics excluded

Developer ToolsAdded 1 month ago

io.github.malkreide/bag-epl-mcp

malkreide

BAG EPL: Spezialitätenliste, medication and reimbursement data

Developer ToolsAdded 1 month ago

io.github.malkreide/bag-health-mcp

malkreide

BAG public-health open data: indicators, programmes, statistics

Developer ToolsAdded 1 month ago

io.github.malkreide/fedlex-mcp

malkreide

Swiss federal law, consultations (Fedlex) & TERMDAT terminology (LINDAS) via SPARQL

Developer ToolsAdded 1 month ago

io.github.malkreide/hn-tech-signal-mcp

malkreide

MCP server for tech & AI signal intelligence: HackerNews, arXiv, Lobste.rs and GitHub

Developer ToolsAdded 1 month ago

io.github.malkreide/i14y-mcp

malkreide

MCP server for I14Y — Switzerland's national open-data metadata catalogue (DCAT-AP-CH)

Developer ToolsAdded 1 month ago

Add the badge to your site

Show visitors that Proven is listed here — it’s also the link we check for a free listing.

Proven — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-malikabyl-proven?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Proven — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Proven — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-malikabyl-proven?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.