Renyi
Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.
Install
Run one of the commands below, then add the client config underneath.
cargorenyi
About this server
Renyi is listed in the Maps & Location category of the MCPNav directory. It is distributed as cargo and can be loaded by any client that speaks the Model Context Protocol.
Typical uses include giving your assistant scoped access to the corresponding service so it can answer questions and take actions with real data instead of guessing. Always review what a server can access before you enable it — see our MCP security guide.
Frequently asked questions
What is the Renyi MCP server?
Renyi is an MCP server by renyi-lang. Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.
How do I install Renyi?
Install it with: renyi. Then add the JSON config to your client's MCP settings and restart the client.
Is Renyi free to use?
The MCP server itself is free to install. The source is public on https://github.com/renyi-lang/renyi. Any third-party API it calls (such as a search or maps API) may require its own key and billing.
Which clients support Renyi?
Any MCP-compatible client can use it, including Claude Desktop, Cursor, VS Code, Windsurf and custom agents.
Add this badge
Publish this server? Link back with a badge on your README or site — copy either snippet.
Markdown
[](https://mcpnav.net/server/renyi/)
HTML
<a href="https://mcpnav.net/server/renyi/"><img src="https://mcpnav.net/badge/renyi.svg" alt="Listed on MCPNav" height="20"></a>