New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Rigor MCP Setup

by rigortype in rigortype/rigor

Set up Rigor's bundled MCP server for an AI coding agent and verify the connection.

MPL-2.0Auto-check passedAgent Workflows

Install Rigor MCP Setup

skills CLI
$ npx skills add rigortype/rigor --skill rigor-mcp-setup -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install rigortype/rigor rigor-mcp-setup --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/rigortype/rigor.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/rigor-mcp-setup .claude/skills/rigor-mcp-setup && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
rigor-mcp-setup
GitHub stars
106
Token cost
~1.3k tokens
SKILL.md length
631 words
Files
1
Skills in repo
36
Repo updated
First seen
Licence
MPL-2.0

At a glance

Set up Rigor's bundled MCP server for an AI coding agent and verify the connection.

  • Works in 3 steps: confirm the analyzer works from the CLI… → identify the client and apply the config → verify the handshake
  • Wiring rigor mcp into Claude Code
  • SKILL.md covers First: load the…, When to use, When NOT to use and The tools you are wiring in, plus 3 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Rigor MCP Setup is an agent skill from rigortype/rigor. Set up Rigor's bundled MCP server for an AI coding agent and verify the connection. Use when wiring rigor mcp into Claude Code, Cursor, Cline, or another MCP client; not for editor LSP or CI setup.

Its SKILL.md is about 1.3k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Agent Workflows, covering MCP servers. It works with Model Context Protocol. The repository describes itself as: Inference-first static analysis for Ruby. The licence is MPL-2.0.

When your agent uses it

  • Wiring rigor mcp into Claude Code
  • Another MCP client
  • Not for editor LSP

Example prompts

  • “/rigor-mcp-setup”

Workflow steps

3 steps, taken from the step headings in SKILL.md.

  1. confirm the analyzer works from the CLI first
  2. identify the client and apply the config
  3. verify the handshake

What it can do on your machine

Read from SKILL.md and the folder at commit 57a67cf. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are bash).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Rigor MCP Setup loads about 1.3k tokens when it runs. Until then it costs about 54 tokens; SKILL.md has 631 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~54
When it runs · the whole SKILL.md, loaded when a task matches
~1.3k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from rigortype/rigor at commit 57a67cf, republished under its MPL-2.0 licence (© rigortype). 631 words, ~1,271 tokens.

Download SKILL.mdSave it as .claude/skills/rigor-mcp-setup/SKILL.md (or your agent's skills folder).
name
rigor-mcp-setup
description
Set up Rigor's bundled MCP server for an AI coding agent and verify the connection. Use when wiring `rigor mcp` into Claude Code, Cursor, Cline, or another MCP client; not for editor LSP or CI setup.
license
MPL-2.0
metadata.version
0.1.0
metadata.homepage
https://github.com/rigortype/rigor

Rigor MCP Setup

rigor mcp is the Model Context Protocol server bundled with the rigortype gem. It exposes Rigor's analysis as JSON-RPC tool calls over stdio, so an AI coding agent can call Rigor directly during a session — check types before a refactor, look up the type at a cursor, or triage a project's diagnostics as review context. All tools are read-only (write-side commands like rigor init / sig-gen --write are deliberately excluded — modifying files stays the developer's call).

The authoritative, per-client configuration lives in the manual. With Rigor installed, read it offline with no network round-trip:

sh
rigor docs mcp-server

(Web fallback, only before Rigor is installed: Rigor MCP Server — AI Agent Integration.) This skill is the workflow around it (identify the client → apply the manual's snippet → verify the handshake), so it does not duplicate (and cannot stale-out) the config details.

First: load the version-current copy

The config details already come live from rigor docs; this keeps the workflow itself current too. Prefer the copy of this skill that ships with the installed Rigor over any vendored or frozen copy of this file:

sh
rigor skill --full rigor-mcp-setup

If you already loaded this skill via rigor skill you have the current copy — just proceed. If rigor is not on PATH, this task needs it: run rigor-next-steps to install Rigor first, then come back.

When to use

  • A developer wants their AI agent to call Rigor's tools mid-session.
  • A project commits a shared MCP config (.mcp.json, .cursor/mcp.json) and you want to add Rigor to it for the whole team.

When NOT to use

  • Editor (human) integration — that is rigor-editor-setup (rigor lsp).
  • The project has no Rigor config yet — run rigor-project-init first (the MCP tools use the same .rigor.yml discovery as rigor check).

The tools you are wiring in

rigor_check, rigor_type_of, rigor_triage, rigor_annotate, rigor_sig_gen, rigor_explain, rigor_coverage — each the JSON form of the matching rigor CLI command. See the manual's Tool reference for inputs and outputs.

The one stable fact

Every client config simply launches rigor mcp (stdio) and needs rigor on the agent's PATH — the same executable rigor check uses. For agents that do not inherit your shell, the mise shim path is the most reliable channel (see rigor docs install, or Installing Rigor on the web). Do not add rigortype to the project's Gemfile — it is a tool, not a library.

Show full SKILL.md (250 more words)Show less

Procedure

Phase 1 — confirm the analyzer works from the CLI first
sh
rigor check <a-file-or-dir>

The MCP tools share rigor check's config discovery. If check works from the project root, the tools will too.

Phase 2 — identify the client and apply the config

Ask the developer which agent they use, or detect a committed config (.mcp.json, .cursor/mcp.json, .claude/settings.json). Apply the matching snippet from the manual's Client wiring section verbatim — it covers Claude Desktop, Claude Code CLI, Cursor, Cline, and a generic stdio client:

sh
rigor docs mcp-server

(or, pre-install, the web copy: https://github.com/rigortype/rigor/blob/master/docs/manual/10-mcp-server.md)

Each snippet is the same shape — {"command": "rigor", "args": ["mcp"]}. If the project commits a shared MCP config, add the Rigor entry there and commit it so every contributor gets it.

Working-directory gotcha (from the manual's Troubleshooting): the server discovers config from the directory it is launched in. If the client starts rigor mcp from $HOME or a temp dir, no .rigor.yml is found and tools return an empty set. Pin it with "args": ["mcp", "--config=/abs/path/.rigor.yml"], or pass absolute paths in the tool call.

Phase 3 — verify the handshake

Confirm rigor mcp answers the MCP initialize request:

sh
echo '{"jsonrpc":"2.0","id":0,"method":"initialize","params":{"protocolVersion":"2024-11-05","capabilities":{},"clientInfo":{"name":"test","version":"0"}}}' | rigor mcp

A JSON result with serverInfo.name: "rigor" means it works; nothing or a shell error means rigor is not on the PATH the client uses. Then restart the client and confirm the rigor_* tools appear in its tool palette.

Next step

Re-run rigor skill describe for the next move — with the agent able to call Rigor's tools, raising protection (rigor-protection-uplift) or reducing a baseline (rigor-baseline-reduce) is a tighter loop.

© rigortype, MPL-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in skills/rigor-mcp-setup of rigortype/rigor.

Open the folder on GitHubat commit 57a67cf

Compare with similar skills

Rigor MCP Setup next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Rigor MCP Setup compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Rigor MCP Setup this skillrigortype/rigor106—~1.3kAutomated safety check: PassMPL-2.0
MCP Server Builderanthropics/skills180k63 repos~2.3kAutomated safety check: PassApache-2.0
MCP Server BuildershareAI-lab/learn-claude-code78k5 repos~1.2kAutomated safety check: PassMIT
MCP Integration for Pluginsanthropics/claude-plugins-official38k11 repos~3.1kAutomated safety check: PassApache-2.0
Crush Configurationcharmbracelet/crush29k—~3.7kAutomated safety check: PassCustom licence
Context Mode Output Sandboxmksglu/context-mode26k—~4.1kAutomated safety check: PassCustom licence

Similar skills

  • MCP Server Builder

    anthropics/skills

    Official

    Guides the design and implementation of Model Context Protocol servers in TypeScript or Python, from tool naming and error messages to evaluation.

    180k GitHub starsUsed in 63 repos~2.3k tokens
    Agent WorkflowsAuto-check passed

  • MCP Server Builder

    shareAI-lab/learn-claude-code

    Walks through building MCP servers in Python or TypeScript that expose tools, resources and prompts to Claude, with templates, registration and testing.

    78k GitHub starsUsed in 5 repos~1.2k tokens
    Agent WorkflowsAuto-check passed

  • MCP Integration for Plugins

    anthropics/claude-plugins-official

    Official

    Explains how to bundle Model Context Protocol servers in a Claude Code plugin, covering config files, stdio, SSE, HTTP and WebSocket server types, and authentication.

    38k GitHub starsUsed in 11 repos~3.1k tokens
    Agent WorkflowsAuto-check passed

  • Crush Configuration

    charmbracelet/crush

    Explains how to configure the Crush coding agent with crushrc or crush.json, covering providers, models, LSPs, MCP servers, hooks, permissions and config precedence.

    29k GitHub stars~3.7k tokensUpdated today
    Agent WorkflowsAuto-check passed

  • Context Mode Output Sandbox

    mksglu/context-mode

    Routes large command, file, API and browser output through context-mode tools so only the needed result enters the agent's context, instead of dumping it via Bash.

    26k GitHub stars~4.1k tokensUpdated today
    Agent WorkflowsAuto-check passed

  • Warp GUI to Agent CLI Migration

    warpdotdev/warp

    Migrates the compatible subset of settings and global file-based MCP servers from the Warp desktop app into Warp Agent CLI without exposing credentials or state.

    65k GitHub starsUsed in 1 repo~2.1k tokens
    Agent WorkflowsAuto-check passed

More from rigortype/rigor

All 36 skills in this repo

  • Rigor Regression Sweep

    rigortype/rigor

    Measure Rigor's baseline drift across the tagged history of a real OSS Ruby project.

    106 GitHub stars~2.9k tokensUpdated yesterday
    Auto-check passed

  • Rigor Unused Adjudicate

    rigortype/rigor

    Adjudicate a rigor unused report safely before proposing dead-code removal.

    106 GitHub stars~1.1k tokensUpdated yesterday
    Auto-check passed

  • Rigor Baseline Reduce

    rigortype/rigor

    Reduce an existing .rigor-baseline.yml rule by rule by triaging sites, fixing or intentionally suppressing them, and regenerating the baseline.

    106 GitHub stars~1.3k tokensUpdated yesterday
    Auto-check passed

  • Rigor Doctor

    rigortype/rigor

    Validate that a project's Rigor configuration, plugins, paths, and baseline are actually healthy.

    106 GitHub stars~767 tokensUpdated yesterday
    Auto-check passed

  • Rigor Plugin Author

    rigortype/rigor

    Author a new Rigor plugin, choosing plugins/ for production support or examples/ for a contract walkthrough.

    106 GitHub stars~3.3k tokensUpdated yesterday
    Auto-check: notes

  • Rigor Plugin Author

    rigortype/rigor

    Author a Rigor plugin in an adopting project or standalone rigor- gem for a DSL, framework, or metaprogramming pattern.

    106 GitHub stars~1.9k tokensUpdated yesterday
    Auto-check passed

Works with

Categories

Questions about Rigor MCP Setup

What does Rigor MCP Setup do?

Set up Rigor's bundled MCP server for an AI coding agent and verify the connection. Rigor MCP Setup is an agent skill from rigortype/rigor. Set up Rigor's bundled MCP server for an AI coding agent and verify the connection.

When should I use Rigor MCP Setup?

Rigor MCP Setup fits situations like: wiring rigor mcp into Claude Code; another MCP client; not for editor LSP.

How do I install Rigor MCP Setup in Claude Code?

Run `npx skills add rigortype/rigor --skill rigor-mcp-setup -a claude-code`. Or copy the skill folder (skills/rigor-mcp-setup in rigortype/rigor) into .claude/skills/rigor-mcp-setup in your project. Claude Code loads it when a task matches its description.

How do I install Rigor MCP Setup in Codex?

Run `npx skills add rigortype/rigor --skill rigor-mcp-setup -a codex`. Or copy the skill folder (skills/rigor-mcp-setup in rigortype/rigor) into .agents/skills/rigor-mcp-setup in your project. Codex loads it when a task matches its description.

Can I use Rigor MCP Setup in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add rigortype/rigor --skill rigor-mcp-setup -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/rigor-mcp-setup, .gemini/skills/rigor-mcp-setup, .github/skills/rigor-mcp-setup and .opencode/skills/rigor-mcp-setup in your project.

What does Rigor MCP Setup need to run?

SKILL.md names no scripts, command-line tools or credentials: Rigor MCP Setup is instructions for the agent only.

Does Rigor MCP Setup access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Rigor MCP Setup safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Rigor MCP Setup use?

Rigor MCP Setup is published under the MPL-2.0 licence (declared in SKILL.md). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Rigor MCP Setup use?

About 1.3k tokens (SKILL.md is roughly 5.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Rigor MCP Setup?

Skills that share tags, products or a category with Rigor MCP Setup: MCP Server Builder (anthropics/skills, 180k stars), MCP Server Builder (shareAI-lab/learn-claude-code, 78k stars), MCP Integration for Plugins (anthropics/claude-plugins-official, 38k stars) and Crush Configuration (charmbracelet/crush, 29k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Rigor MCP Setup?

rigortype (a GitHub organization) maintains it in rigortype/rigor, which has 106 GitHub stars. The repository holds 36 skills in this directory. The repository was last updated on October 8, 2026.

Source: rigortype/rigor on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.