# TypeSafe MCP (pypi · typesafe-mcp)

Host-neutral MCP bridge for TypeSafe AI Jev judgments with typed review, routing, and gate tools.

- Trust score: 45/100 (low)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-09-22

## Components

- pypi · `typesafe-mcp`: 45/100 (this document), [markdown](https://verifymcp.io/servers/renwang-huang-typesafe-mcp/typesafe-mcp.md), [page](https://verifymcp.io/servers/renwang-huang-typesafe-mcp/typesafe-mcp)

## Channel facts

- Registry: `pypi`
- Package: `typesafe-mcp`
- Version: `0.5.2`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-09-22.

- **Supply Chain Security**: 44/100
  - Malware scan not yet available for this package.
  - No known CVEs affecting this package version or its production dependencies.
  - Runs a script at install time (build_backend,cmdclass) that we could not recognise. It may be perfectly ordinary, but we do not read the published tarball, so we cannot say what it does.
  - No production dependencies, so there is no dependency health to assess.
- **Provenance & Transparency**: 23/100
  - Repository check failed: the declared repository URL redirects; it must resolve directly.
  - Provenance check failed: no build-provenance attestation is published.
  - Clear OSI-approved license (MIT).
  - Actively maintained (last published 0 days ago).
  - Publishes a security disclosure policy (SECURITY.md).
- **Schema Quality & AI Usability**: 64/100
  - AI-judged instruction clarity (good).
  - Tool/resource definitions use about 618 tokens (~68/item across 9 items; 9 tools + 0 resources), lean.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 0/100
  - Stability not yet verified: not enough scan history yet (needs a 30-day window).
- **Tool Coverage**: 74/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 8% of tool parameters carry a description.
  - Structured output schemas are declared (100% of tools); any adoption earns full credit.
- **Tool Safety**: 100/100
  - No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.
  - We read all 9 captured tool definition(s), and no name or description among them implies an irreversible operation.
  - An AI judge read all 10 captured unit(s) of tool text and found none that tries to manipulate the model reading it.
- **Capabilities**: 100/100
  - Implements a current MCP spec version (2026-07-28).

**Unverified: 1 category.** A category scored 0 because we could not verify it: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.

## Install

### How do I install the TypeSafe MCP server?

TypeSafe MCP runs locally as a PyPI package, launched with uvx typesafe-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

### Claude

```bash
claude mcp add renwang-huang-typesafe-mcp -- uvx typesafe-mcp
```

### Cursor

```json
{
  "mcpServers": {
    "renwang-huang-typesafe-mcp": {
      "command": "uvx",
      "args": [
        "typesafe-mcp"
      ]
    }
  }
}
```

### VS Code

```json
{
  "servers": {
    "renwang-huang-typesafe-mcp": {
      "command": "uvx",
      "args": [
        "typesafe-mcp"
      ]
    }
  }
}
```

### Codex

```bash
codex mcp add renwang-huang-typesafe-mcp -- uvx typesafe-mcp
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "renwang-huang-typesafe-mcp": {
      "type": "local",
      "command": [
        "uvx",
        "typesafe-mcp"
      ],
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add renwang-huang-typesafe-mcp --command uvx --arg typesafe-mcp
```

### Hermes

```yaml
mcp_servers:
  renwang-huang-typesafe-mcp:
    command: "uvx"
    args: ["typesafe-mcp"]
```

### Netclaw

```json
{
  "McpServers": {
    "renwang-huang-typesafe-mcp": {
      "Transport": "stdio",
      "Command": "uvx",
      "Arguments": [
        "typesafe-mcp"
      ]
    }
  }
}
```

### Vellum

```bash
assistant mcp add renwang-huang-typesafe-mcp -t stdio -c uvx -a typesafe-mcp
```

### Other

```json
{
  "mcpServers": {
    "renwang-huang-typesafe-mcp": {
      "command": "uvx",
      "args": [
        "typesafe-mcp"
      ]
    }
  }
}
```

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-09-22 (score 45, −5)

- [security regression] Source repository: pass → fail

### 2026-09-21 (score 50)

First indexed and scored.

## MCP tools (9)

### `evaluate` (~82 tokens)

Evaluate state with TypeSafe Jev and return the raw typed answers. Use for bounded noul, choice, or score questions; never for prose, code generation, arithmetic, or dates.

Input parameters:

- `model` (string): Optional model id or alias.
- `questions` (object, required): Map of question id to a TypeSafe question.
- `state` (required): Text or structured evidence.

Output parameters:

- `answers` (object)
- `model` (string)
- `usage` (object)

### `classify` (~44 tokens)

Choose one label from a closed set and return its probability distribution.

Input parameters:

- `instructions` (required)
- `labels` (object, required)
- `model` (string)
- `state` (required)

Output parameters:

- `answer` (object)
- `evaluation` (object)
- `model` (string)
- `type`
- `usage` (object)

### `score` (~48 tokens)

Rate state on an ordered rubric and return the weighted score, probabilities, and confidence.

Input parameters:

- `instructions` (required)
- `levels` (array, required)
- `model` (string)
- `state` (required)

Output parameters:

- `answer` (object)
- `evaluation` (object)
- `model` (string)
- `type`
- `usage` (object)

### `check` (~50 tokens)

Estimate the probability that a bounded yes/no proposition is true.

Input parameters:

- `false_criteria`
- `instructions` (required)
- `model` (string)
- `state` (required)
- `true_criteria`

Output parameters:

- `answer` (object)
- `evaluation` (object)
- `model` (string)
- `type`
- `usage` (object)

### `verify` (~61 tokens)

Check several claims against the supplied evidence in one request. Results are review signals, not proof of truth.

Input parameters:

- `claims` (object, required)
- `false_criteria`
- `model` (string)
- `state` (required)
- `true_criteria`

Output parameters:

- `answers` (object)
- `evaluation` (object)
- `type`

### `gate` (~73 tokens)

Evaluate bounded pass checks and turn their probabilities into pass/review/fail. This is not an authorization or security boundary; keep normal human and policy controls.

Input parameters:

- `checks` (object, required)
- `model` (string)
- `pass_at` (number)
- `review_at` (number)
- `state` (required)

Output parameters:

- `checks` (object)
- `decision`
- `evaluation` (object)
- `policy` (object)
- `type`

### `route` (~51 tokens)

Choose the next action from a closed set. This suggests an action; it does not execute it.

Input parameters:

- `actions` (object, required)
- `instructions`
- `model` (string)
- `state` (required)

Output parameters:

- `answer` (object)
- `evaluation` (object)
- `model` (string)
- `route` (string)
- `type`
- `usage` (object)

### `review` (~67 tokens)

Evaluate a diff, plan, or test report against checks and return pass/review/fail signals. It never edits files.

Input parameters:

- `checks` (object, required)
- `model` (string)
- `pass_at` (number)
- `review_at` (number)
- `state` (required)

Output parameters:

- `checks` (object)
- `decision`
- `evaluation` (object)
- `policy` (object)
- `type`

### `health` (~35 tokens)

Inspect local MCP configuration without making a network request. Set live=true only for an explicit paid provider check.

Input parameters:

- `live` (boolean)

Output parameters:

- `api_key_configured` (boolean)
- `base_url` (string)
- `live` (boolean)
- `max_retries` (integer)
- `model` (string)
- `server` (string)
- `status` (string)
- `timeout_seconds` (number)
- `type`
- `version` (string)

## Diagnostics

Captured diagnostic sections: Provenance, Install scripts, Dependencies. The full working is on the page: https://verifymcp.io/servers/renwang-huang-typesafe-mcp/typesafe-mcp#diagnostics

## Score history

- 2026-09-22: 45
- 2026-09-21: 50

## Common questions

### What is the TypeSafe MCP server?

TypeSafe MCP is listed in the public MCP registry as io.github.Renwang-Huang/typesafe-mcp. Host-neutral MCP bridge for TypeSafe AI Jev judgments with typed review, routing, and gate tools. This page covers its PyPI package (typesafe-mcp).

### Is the TypeSafe MCP server safe to use?

TypeSafe MCP scores 45 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 22 September 2026. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

### What tools does the TypeSafe MCP server expose?

TypeSafe MCP exposes 9 tools: evaluate, classify, score, check, verify, and 4 more. Their descriptions and schemas cost roughly 511 tokens of context every time the server is loaded.

### Is the TypeSafe MCP server still maintained?

TypeSafe MCP is still listed as active in the MCP registry. We last reached this channel on 22 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

### What licence is the TypeSafe MCP server under?

TypeSafe MCP declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.

## Links

- PyPI project: https://pypi.org/project/typesafe-mcp/
- Socket report: https://socket.dev/pypi/package/typesafe-mcp
- Changelog RSS feed: https://verifymcp.io/servers/renwang-huang-typesafe-mcp/typesafe-mcp.xml
- Changelog JSON feed: https://verifymcp.io/servers/renwang-huang-typesafe-mcp/typesafe-mcp.json
- HTML version of this page: https://verifymcp.io/servers/renwang-huang-typesafe-mcp/typesafe-mcp