Renyi
MCP server · installable · v0.2.1 · org.renyi-lang/renyi
Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.
What it does
Renyi is an MCP server, a connector that lets an AI assistant use it as a tool. It is installed locally as a package and runs on your machine.
No capability identified yet from its description.
Facts come from the Official MCP Registry, as declared by the publisher. Capabilities are matched automatically (low confidence) and are not a test of the tool.
At a glance
Hosted (remote)NO
Local installYES
Version0.2.1
Packagescargo
PriceNot in the registry
First seen15 Oct 2026
Last checked1h ago
How to connect
As declared in the Official MCP Registry · not tested by Electra IndexInstall package
- CARGO
renyiv0.2.1 · runs locally (stdio)
No ready-made settings: the registry entry does not contain everything needed. Follow the publisher's instructions.
Facts & evidence
Each fact shows where it was seen and when.| Fact | Value | Evidence | Source | Last confirmed |
|---|---|---|---|---|
| Install package | renyi | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Package registries | cargo | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Local install (package) | yes | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Remote access (hosted) | no | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Website | https://renyi-lang.org | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Repository | https://github.com/renyi-lang/renyi | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Registry status | active | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| Version | 0.2.1 | DECLARED | SRC-001 Official MCP Registry | 1h ago |
| MCP server | yes | DECLARED | SRC-001 Official MCP Registry | 1h ago |
Change history
- NEW15 Oct 2026first seen in the index
Questions about Renyi
How do I connect Renyi?
Install the cargo package renyi. The exact settings are in "How to connect" above, as declared in the Official MCP Registry.