NestDaddy

Renyi

org.renyi-lang/renyi ยท v0.4.0

Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.

Connect Runs on your machine

Terminal
claude mcp add renyi -- renyi
claude_desktop_config.json
{
  "mcpServers": {
    "renyi": {
      "command": "renyi",
      "args": []
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "renyi": {
      "command": "renyi",
      "args": []
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "renyi": {
      "type": "stdio",
      "command": "renyi",
      "args": []
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Package[email protected] (CARGO, stdio)
First published15 Oct 2026
Last updated15 Oct 2026
Registry nameorg.renyi-lang/renyi

More developer tools servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.