Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.
Connect Runs on your machine
claude mcp add renyi -- renyi
{
"mcpServers": {
"renyi": {
"command": "renyi",
"args": []
}
}
}
{
"mcpServers": {
"renyi": {
"command": "renyi",
"args": []
}
}
}
{
"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 published | 15 Oct 2026 |
| Last updated | 15 Oct 2026 |
| Registry name | org.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.
