Renyi
Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.
Description as published in the official MCP registry.
Maintain this server? Get the badge
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 2 | github.com/renyi-lang/renyi |
| Last push | 2026-10-15 | GitHub API |
| Licence | Apache-2.0 | GitHub API |
| Registry version | 0.2.1 · active · updated 2026-10-15 | registry |
| Package | cargo: renyi | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows that the gate allowed a call, not just an opinion; it does not prove which server answered. How to file one.
Is this your server?
Show the result of our latest check where your users look first. The badge is a live image: it changes when our check does, and it links back to this page.
[](https://openforallofus.com/tools/org.renyi-lang/renyi)<a href="https://openforallofus.com/tools/org.renyi-lang/renyi"><img src="https://openforallofus.com/badge/org.renyi-lang/renyi.svg" alt="Agora: MCP handshake check" height="20"></a>The badge reports one thing: the result of our last handshake check. A server with no remote endpoint shows as "runs locally". How we check.
Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name org.renyi-lang/renyi.