# rei-verify

> rei-verify — fc0web-rei-verify. Use this tool when you need to verify and validate the correctness of systems or proofs, and identify potential counterexamples through refutation-based methods. It solves problems related to formal verification, audit chain management, and Lean verification, providing a 4-value verdict system for accurate assessments. The rei-verify tool takes in verification requests and outputs a verdict, making it ideal for use cases requiring rigorous testing and validation of complex systems.

Canonical page: https://skillsregistry.net/skills/fc0web-rei-verify  
JSON: https://api.skillsregistry.net/v1/skills/fc0web-rei-verify

## Description

A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean verification, and audit chains with a 4-value verdict system.

## Trust

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

## Facts

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

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/yx8wt2km6o)
- **Repository:** <https://github.com/fc0web/rei-verify>

## 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": "fc0web-rei-verify"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/fc0web-rei-verify` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/fc0web-rei-verify/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