Renyi runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 17 Oct 2026.
Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.
What the code does
We read the source, 5 d ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
completed = subprocess.run(command, cwd=ROOT, capture_output=True, env=COLD)
binary = os.path.join(ROOT, binary)
data = pickle.load(f) # written by the run's own worker (tools/__init__.py)
RUN curl -fsSL https://raw.githubusercontent.com/renyi-lang/renyi/main/install.sh | sh
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Alternatives to Renyi
same job, measured the same wayCheck, compile, run, and test Sounio programs locally.
Pact 5 tooling: REPL test runs, trap scanning, gas estimation, interface diff, format checks.
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.
Run plain-English web QA tests and inspect check results and evidence.
Hosted: plan and build multi-table test and demo data, export 25 formats, with checks shown.
Cloud Macs with Xcode for AI agents: run commands, build and test iOS apps, see and use the screen.
Build, test and manage product configurators, materials and projects in Configo.
Renyi — questions
Answers built from our own checks of this server.