# crs-mcp

> crs-mcp — nickharris808-crs-mcp. Use this tool when you need to verify the soundness of linear integer guards over defined boxes, as it certifies or refutes their validity and provides concrete counterexamples or honest refusals based on domain size. It solves problems related to formal verification and validation of integer constraints. The tool takes declared boxes and linear integer guards as input and returns soundness certifications, counterexamples, or refusal notifications as output.

Canonical page: https://skillsregistry.net/skills/nickharris808-crs-mcp  
JSON: https://api.skillsregistry.net/v1/skills/nickharris808-crs-mcp

## Description

MCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-08-29

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/twkq8dqx1c)
- **Repository:** <https://github.com/nickharris808/crs-mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "nickharris808-crs-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/nickharris808-crs-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/nickharris808-crs-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt