Renyi

org.renyi-lang/renyi

3/4 checks passed
Runs locally
No secrets
★ 3 GitHub stars
Updated 2026-10-15
Health score 44

About Renyi

Renyi is an MCP server published by renyi-lang.org. Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.

It runs on your own machine: your AI client starts it from the cargo package renyi at version 0.4.0.

It asks for no keys or passwords.

Version 0.4.0 was published on 15 October 2026, and the source code is public, so you can read it before installing.

Written from the registry entry. 7 automated checks on registry metadata: 3 pass, 1 warn, 0 fail, 3 info. How we check.

What it asks for

This server declares no environment variables, so it asks for no keys or settings.

Checks

Check	Result	Detail
Source repository linked	Pass	https://github.com/renyi-lang/renyi
Version pinned	Pass	Every package has an explicit version
Secrets requested	Info	Asks for no secrets
Known package registry	Warn	Unrecognized registry: cargo
Namespace ownership	Info	Name verified via domain renyi-lang.org
Registry text aimed at the AI	Pass	Description and settings contain no hidden characters or instructions to the AI
Code red flags	Info	cargo packages are not read yet

Popularity & health: 44 / 100

Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.

Popularity6 / 40

3 GitHub stars, no download count, no Hacker News posts found. Best two of the three, each on a log scale.

Activity15 / 25

Last push 2026-10-17, last release 2026-10-15, 0 commits in 90 days.

Issue health8 / 15

0 closed of 0 issues, too few to judge. No data, so half marks.

Our checks16 / 20

1 warning, each costing a fifth.

1 forks, 0 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.

What people say

No Hacker News threads link to its source code.

Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.

Facts

Registry name	`org.renyi-lang/renyi`
Publisher	Domain renyi-lang.org
How the name is verified	Name verified via domain renyi-lang.org. The registry ties the name prefix to that account or domain; it does not check the code.
Type	Local: runs on your machine from a package
Packages	cargo `renyi` 0.4.0 (stdio)
Version	0.4.0
Published	2026-10-15
Last updated	2026-10-15
Source repository	https://github.com/renyi-lang/renyi
Website	https://renyi-lang.org
Category	Search & web (assigned by keyword rule, not by hand)