x=hub

your toolset

    build deployment
    sign in

    Renyi

    mcpother official
    org.renyi-lang/renyi · v0.4.0
    deploy just this

    Check, format, run and test Renyi programs; the project map with effects, diffs and chunks.

    run it

    on your own machines, one way per deploy method
    generated from the record, not tested yet
    # once, as root:
cargo install --locked renyi --version 0.4.0 --root /usr/local
# as_mcp DIR COMMAND...: runs COMMAND as the mcp user in DIR, its home, sandboxed as the
# units are: a package's install scripts can write to DIR only, as the server later can
as_mcp() {
  local dir="$1"; shift
  systemd-run --quiet --wait --pipe --collect --uid=mcp --gid=mcp \
    -p WorkingDirectory="$dir" -p Environment=HOME="$dir" -p ReadWritePaths="$dir" \
    -p NoNewPrivileges=true -p ProtectSystem=strict -p ProtectHome=true -p PrivateTmp=true \
    -- "$@" </dev/null
}
install -d -m 0750 -o mcp -g mcp /var/lib/mcp/renyi
# renyi: its packages, installed whole before its unit starts (no session installs)
systemctl stop mcp-my-agent-renyi.service 2>/dev/null || true
as_mcp /var/lib/mcp/renyi uv tool install mcp-proxy

#!/usr/bin/env bash
# renyi (org.renyi-lang/renyi), recipe baremetal (generated).
# Generated by Hub for toolset "my-agent"; started by mcp-my-agent-renyi.service.
set -euo pipefail
export HOST=127.0.0.1 PORT=8101
exec uvx mcp-proxy --host 127.0.0.1 --port 8101 --pass-environment -- renyi

[Unit]
Description=MCP server renyi (toolset my-agent), generated by Hub
After=network-online.target
Wants=network-online.target

[Service]
Type=simple
User=mcp
Group=mcp
EnvironmentFile=/etc/mcp/my-agent.env
Environment=HOME=/var/lib/mcp/renyi
WorkingDirectory=/var/lib/mcp/renyi
ExecStart=/opt/mcp/my-agent/bin/renyi.sh
Restart=on-failure
RestartSec=5
NoNewPrivileges=true
ProtectSystem=strict
ProtectHome=true
PrivateTmp=true
ReadWritePaths=/var/lib/mcp/renyi

[Install]
WantedBy=multi-user.target

    connect to it

    copy what your client needs
    renyi
    {
  "mcpServers": {
    "renyi": {
      "command": "renyi",
      "args": []
    }
  }
}
    #!/usr/bin/env bash
# Registers every server with Claude Code (run once; `claude mcp list` to check).
set -euo pipefail
set -a; [ -f .env ] && source .env; set +a
claude mcp add renyi -- renyi

    {
  "mcpServers": {
    "renyi": {
      "command": "renyi",
      "args": []
    }
  }
}
    {
  "servers": {
    "renyi": {
      "type": "stdio",
      "command": "renyi",
      "args": []
    }
  }
}
    name: my-agent
target: local
servers:
- hub: org.renyi-lang/renyi
    • not probed yet: tools unpinned, ingest lists them

    tools

    Probe result: failedbaremetal: MCPError: Connection closed; server stderr: …sh: 2: cargo: not found

    runs · 1

    the latest tests of this entry by the hub and its workers, newest first
    dateworkermethodstatussandboxreason
    2026-10-17 13:26 local-mac-vm baremetal failed gvisorbuildpack-deps:bookworm baremetal: MCPError: Connection closed; server stderr: …sh: 2: cargo: not found