Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

{
  "mcpServers": {
    "renyi": {
      "command": "cargo",
      "args": [
        "renyi",
        "mcp",
        "."
      ]
    }
  }
}

claude mcp add renyi -- cargo renyi mcp .

[mcp_servers.renyi]
command = "cargo"
args = ["renyi", "mcp", "."]

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "renyi": {
      "type": "local",
      "command": [
        "cargo",
        "renyi",
        "mcp",
        "."
      ],
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "renyi": {
      "command": "cargo",
      "args": [
        "renyi",
        "mcp",
        "."
      ]
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=renyi&config=eyJjb21tYW5kIjoiY2FyZ28iLCJhcmdzIjpbInJlbnlpIiwibWNwIiwiLiJdfQ%3D%3D"
}

{
  "servers": {
    "renyi": {
      "type": "stdio",
      "command": "cargo",
      "args": [
        "renyi",
        "mcp",
        "."
      ]
    }
  }
}

{
  "mcpServers": {
    "renyi": {
      "command": "cargo",
      "args": [
        "renyi",
        "mcp",
        "."
      ]
    }
  }
}

extensions:
  "renyi":
    enabled: true
    name: "renyi"
    type: stdio
    cmd: "cargo"
    args:
      - "renyi"
      - "mcp"
      - "."
    timeout: 300

This is a local package: the command runs on your machine.

Quality – / 100new

Not scored: fewer than three checks apply, usually because no remote answered a credential-free probe or the server is a local package.

protocoln/a · weight 25

n/a
protocol.modern, protocol.stateless, protocol.transport, protocol.list_ttlno remote answered a protocol handshake (not probed yet, unreachable, or local-only)

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygienen/a · weight 30

n/a
tools.descriptions, tools.description_length, tools.schemas, tools.annotations, tools.directory_hints, tools.token_cost, tools.api_dumptool list unknown (behind auth, not probed, or empty)

stabilityn/a · weight 15

n/a
stability.changes, stability.rug_pulltool list unknown

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

Tool list unknown · checked 2026-10-19 10:20 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 100 / 100

provenance100

livenessn/a

freshness100

hygiene100

+repository +namespace-matches-repo +dns-namespace +website ~liveness-unmeasured +updated-4d-ago

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

package	registry	version	runtime	secrets
`renyi`	cargo	0.4.0	–

Tools (0)

No tools observed. Local packages are never executed by the registry.

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "org.renyi-lang/renyi",
  "title": "Renyi",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "version": "0.4.0",
  "packages": [
    {
      "version": "0.4.0",
      "transport": {
        "type": "stdio"
      },
      "identifier": "renyi",
      "registryType": "cargo",
      "packageArguments": [
        {
          "type": "positional",
          "value": "mcp",
          "description": "The MCP server command of the renyi binary."
        },
        {
          "type": "positional",
          "value": ".",
          "valueHint": "directory",
          "description": "The directory of the Renyi project to serve."
        }
      ]
    }
  ],
  "repository": {
    "url": "https://github.com/renyi-lang/renyi",
    "source": "github"
  },
  "websiteUrl": "https://renyi-lang.org",
  "description": "Check, format, run and test Renyi programs; the project map with effects, diffs and chunks."
}