SERVER

TinyZKP

Rank #17,914

io.github.logannye/tinyzkp

Hosted MCP server for STARK proof receipts. Agents mint receipts and verify proofs for free.

4 release tags

by logannye (1 servers)View repository ↗Claim this server

First listed

Apr 27, 2026

Last publish date

Jul 27, 2026

OVERVIEW

TinyZKP is a Model Context Protocol (MCP) server published by logannye. It ranks #17,914 of 132,046 servers tracked on MCP Toplist. TinyZKP is listed across 2 registries — PulseMCP and mcp.so, with 4 release tags tracked from its GitHub repository. It was first listed on Apr 27, 2026 and most recently updated on Jul 27, 2026.

STANDING

#17,914of 132,046 tracked serversTop 25%

Ranks ahead of 114,132 of 132,046 servers on MCP Toplist.

CONNECT

Use TinyZKP

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

Remote · HTTP

claude mcp add --transport http tinyzkp https://mcp.tinyzkp.com/

Remote · HTTP

[mcp_servers.tinyzkp]
url = "https://mcp.tinyzkp.com/"

Add to ~/.codex/config.toml.

Remote · HTTP

https://mcp.tinyzkp.com/

Settings → Connectors → “Add custom connector”, then paste this URL.

Remote · HTTP

{
  "mcpServers": {
    "tinyzkp": {
      "url": "https://mcp.tinyzkp.com/"
    }
  }
}

Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).

Remote · HTTP

{
  "servers": {
    "tinyzkp": {
      "type": "http",
      "url": "https://mcp.tinyzkp.com/"
    }
  }
}

Save as .vscode/mcp.json in your workspace.

Remote · HTTP

{
  "mcpServers": {
    "tinyzkp": {
      "serverUrl": "https://mcp.tinyzkp.com/"
    }
  }
}

Add to ~/.codeium/windsurf/mcp_config.json.

Remote · HTTP

{
  "mcpServers": {
    "tinyzkp": {
      "url": "https://mcp.tinyzkp.com/"
    }
  }
}

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/io.github.logannye%2Ftinyzkp.svg)](https://mcptoplist.com/server/io.github.logannye%2Ftinyzkp)

HTML

<a href="https://mcptoplist.com/server/io.github.logannye%2Ftinyzkp"><img src="https://mcptoplist.com/badge/io.github.logannye%2Ftinyzkp.svg" alt="MCP Toplist: Top 25% of 132,046" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 2 registries

PulseMCP

mcp.so

ORGANIZATION

logannye

Organization

logannye

Servers in org

Versions across org

VERSIONS

GitHub releases (4)

No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.

Version	Published
backend-v0.1.0	Jul 27, 2026
doctor-eval-v0.1.0	Jul 24, 2026
v0.1.1	Apr 27, 2026
v0.1.0	Apr 27, 2026

FAQ

Frequently asked questions

Who maintains TinyZKP?: TinyZKP is maintained by logannye, which publishes 1 MCP server (4 total versions) tracked on MCP Toplist.
Is TinyZKP listed on the Official MCP Registry?: TinyZKP is not on the Official MCP Registry. It is listed on PulseMCP and mcp.so.
How many versions does TinyZKP have?: No registry surfaces explicit version metadata for TinyZKP; MCP Toplist tracks 4 release tags from its GitHub repository, most recently published on Jul 27, 2026.
Where can I find the source code for TinyZKP?: The source code for TinyZKP is hosted at github.com/logannye/hc-stark.

Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE

All MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers