# minicheck-mcp

> minicheck-mcp — nickharris808-minicheck-mcp. Use this tool when you need to verify the correctness of state machines against declarative specifications, and identify counterexamples when properties fail. It takes state machines and specs as input, and returns a verdict along with the shortest counterexample if a property is violated. Ideal for use cases requiring formal verification of system behavior, such as protocol validation or software testing.

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

## Description

A model checker as an MCP server that lets agents verify state machines with declarative specs, returning a verdict and shortest counterexample when a property fails.

## Trust

- **Trust score (0–1):** 0.69
- **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/igx7kphc7j)
- **Repository:** <https://github.com/nickharris808/minicheck-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-minicheck-mcp"
    }
  }
}
```

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