ry

ry is a static checker for R, written in Rust. It checks your project for likely bugs before you run it: incompatible types, missing data frame columns, unbound variables, invalid function calls, and more.

ry focuses on types and scope. Use it alongside air for formatting and lintr for style checks. It uses tree-sitter-r and takes inspiration from ty.

Important

🤖 ry is mostly a playground for GLM and me. If you'd like to help, I'd love for you to join in.

Install

On Linux and macOS, install the latest release with:

curl --proto '=https' --tlsv1.2 -LsSf \
  https://github.com/sims1253/ry/releases/latest/download/ry-cli-installer.sh | sh

On Windows PowerShell:

powershell -ExecutionPolicy Bypass -c "irm https://github.com/sims1253/ry/releases/latest/download/ry-cli-installer.ps1 | iex"

You can also download release archives or build from source.

Quickstart

Save this as demo.R:

x <- "a" + 1L
d <- data.frame(mpg = c(21, 22.8), disp = c(160, 160))
mean(d$dispp)

Run the checker:

ry check demo.R

ry reports RY040 for the arithmetic on a character value and RY060 for dispp, listing the available columns: mpg and disp.

To check a project, run ry check .. It collects .R and .r files recursively and exits with a nonzero status when it finds an error. Use ry check --error-on-warning . to fail on warnings too.

Configure packages, runtime globals, excluded paths, and rule settings in ry.toml. For an existing codebase, use a baseline to check only new findings.

Package signatures come from the bundled r-typeshed stubs. Dynamic R code and missing signatures can produce false positives or missed bugs. See package handling and known limits.

Editors

Install ry from the VS Code Marketplace or Positron's Open VSX gallery. The extension bundles the checker and provides diagnostics, inferred type hints, and suppression actions.

See the VS Code / Positron guide for settings and the editor setup instructions for Zed and other LSP clients.

Reference and contributing

• Usage: package handling, data masking, CI, and editors.
• Inferred types: inspect bindings with ry dump-types.
• Structured facts: versioned scope snapshots and opt-in reference facts for tooling.
• Rules: diagnostic codes and default severities. Run ry explain rule RY040 for one rule or ry explain rule for all rules.
• Changelog: release notes and upgrade guidance.
• Contributing: build checks, fixtures, and typeshed updates.