Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

Arbitype

PYPI · ARBITYPE · SCANNED SEP 23

Typed decision tools for AI agents, powered by TypeSafe Jev.

Available components

66 Trust /100
Trust breakdown (7 categories)

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. How we score → Why this is hard to score →

Supply Chain Security94
  • No malware found by supply-chain analysis.Pass
  • No known CVEs affecting this package version or its production dependencies.Pass
  • 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. View diagnostics → Partial
  • No production dependencies, so there is no dependency health to assess. View diagnostics → Pass
Provenance & Transparency48
  • Source repository is publicly reachable at the declared URL. View diagnostics → Pass
  • Provenance check failed: no build-provenance attestation is published. See how to fix → View diagnostics → Fail
  • Clear OSI-approved license (MIT).Pass
  • Actively maintained (last published 0 days ago).Pass
  • Publishes a security disclosure policy (SECURITY.md).Pass
Schema Quality & AI Usability70
  • AI-judged instruction clarity (good).Pass
  • Tool/resource definitions use about 879 tokens (~97/item across 9 items; 9 tools + 0 resources), lean.Pass
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management0
  • Stability not yet verified: not enough scan history yet (needs a 30-day window).Unverified
Tool Coverage74
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 8% of tool parameters carry a description.Partial
  • Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 9 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 10 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a current MCP spec version (2026-07-28).Pass

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 Arbitype MCP server?

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

pypi · arbitype

# add to Claude Code
claude mcp add renwang-huang-arbitype -- uvx arbitype
// .cursor/mcp.json
{
  "mcpServers": {
    "renwang-huang-arbitype": {
      "command": "uvx",
      "args": [
        "arbitype"
      ]
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "renwang-huang-arbitype": {
      "command": "uvx",
      "args": [
        "arbitype"
      ]
    }
  }
}
# add to Codex CLI
codex mcp add renwang-huang-arbitype -- uvx arbitype
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "renwang-huang-arbitype": {
      "type": "local",
      "command": [
        "uvx",
        "arbitype"
      ],
      "enabled": true
    }
  }
}
# add to OpenClaw
openclaw mcp add renwang-huang-arbitype --command uvx --arg arbitype
# ~/.hermes/config.yaml
mcp_servers:
  renwang-huang-arbitype:
    command: "uvx"
    args: ["arbitype"]
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "renwang-huang-arbitype": {
      "Transport": "stdio",
      "Command": "uvx",
      "Arguments": [
        "arbitype"
      ]
    }
  }
}
# add to Vellum
assistant mcp add renwang-huang-arbitype -t stdio -c uvx -a arbitype
// mcp.json
{
  "mcpServers": {
    "renwang-huang-arbitype": {
      "command": "uvx",
      "args": [
        "arbitype"
      ]
    }
  }
}
Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 22 Sept 26 66

    First indexed and scored.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 23 Sept 2026 · Analysed pypi/arbitype@0.7.0

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem pypi

Background: How many MCP packages publish verified provenance →

Install scripts 2 scripts
Hook Tier Command
build_backend allowlisted setuptools.build_meta
cmdclass unreviewed <custom, unreviewed>

Background: Why install scripts are a supply-chain risk →

Dependencies 0 packages
Packages resolved 0
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 9 exposed · ~771 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
check ~86

USE WHEN you need one bounded yes/no proposition and its probability. DO NOT USE WHEN you need to verify multiple named claims (use verify), combine checks with thresholds (use gate), or assess an entire object or review package (use review).

NameTypeReqDescription
false_criteria
instructionsyes
modelstring
stateyes
true_criteria
NameTypeReqDescription
answerobjectyes
evaluationobjectyes
modelstringyes
typeyes
usageobjectyes

No examples provided.

classify ~77

USE WHEN you need exactly one label from a closed, unordered set and its probability distribution. DO NOT USE WHEN labels are ordered levels (use score), options are next actions (use route), or inputs are claims (use verify).

NameTypeReqDescription
instructionsyes
labelsobjectyes
modelstring
stateyes
NameTypeReqDescription
answerobjectyes
evaluationobjectyes
modelstringyes
typeyes
usageobjectyes

No examples provided.

evaluate ~92

USE WHEN you need raw typed Jev answers for one or more bounded noul, choice, or score questions. DO NOT USE WHEN you need prose, code generation, arithmetic, dates, or a specialized primitive such as route or gate.

NameTypeReqDescription
modelstringOptional model id or alias.
questionsobjectyesMap of question id to a TypeSafe question.
stateyesText or structured evidence.
NameTypeReqDescription
answersobjectyes
modelstringyes
usageobjectyes

No examples provided.

gate ~96

USE WHEN you need to combine multiple bounded checks and thresholds into pass/review/fail. DO NOT USE WHEN you need claim-by-claim evidence checking (use verify) or whole-object quality/risk assessment (use review). This is not authorization or a security boundary.

NameTypeReqDescription
checksobjectyes
modelstring
pass_atnumber
review_atnumber
stateyes
NameTypeReqDescription
checksobjectyes
decisionyes
evaluationobjectyes
policyobjectyes
typeyes

No examples provided.

health ~59

USE WHEN you need local Arbitype configuration or an explicitly requested live provider check. DO NOT USE WHEN you need a business decision; health does not evaluate state and does not make a network request unless live=true is explicit.

NameTypeReqDescription
liveboolean
NameTypeReqDescription
api_key_configuredbooleanyes
base_urlstring
livebooleanyes
max_retriesinteger
modelstring
serverstringyes
statusstring
timeout_secondsnumber
typeyes
versionstringyes

No examples provided.

review ~111

USE WHEN you need an overall quality or risk review of a whole-object artifact such as a diff, plan, release, or test report against multiple checks. DO NOT USE WHEN you need claim-by-claim verification (use verify), a single proposition (use check), or next-action selection (use route). It returns signals and never edits files.

NameTypeReqDescription
checksobjectyes
modelstring
pass_atnumber
review_atnumber
stateyes
NameTypeReqDescription
checksobjectyes
decisionyes
evaluationobjectyes
policyobjectyes
typeyes

No examples provided.

route ~81

USE WHEN you need exactly one next action from a closed set of actions. DO NOT USE WHEN you need a topic/category label (use classify), an ordered rating (use score), or action execution. This suggests an action; it never executes it.

NameTypeReqDescription
actionsobjectyes
instructions
modelstring
stateyes
NameTypeReqDescription
answerobjectyes
evaluationobjectyes
modelstringyes
routestringyes
typeyes
usageobjectyes

No examples provided.

score ~72

USE WHEN you need a weighted rating over two or more ordered rubric levels. DO NOT USE WHEN choices are unordered categories (use classify), next actions (use route), or thresholded checks (use gate).

NameTypeReqDescription
instructionsyes
levelsarrayyes
modelstring
stateyes
NameTypeReqDescription
answerobjectyes
evaluationobjectyes
modelstringyes
typeyes
usageobjectyes

No examples provided.

verify ~97

USE WHEN you need to check multiple named claims against supplied evidence in one request. DO NOT USE WHEN you need one proposition (use check), an overall quality/risk review (use review), or a pass/review/fail threshold (use gate). Results are signals, not proof.

NameTypeReqDescription
claimsobjectyes
false_criteria
modelstring
stateyes
true_criteria
NameTypeReqDescription
answersobjectyes
evaluationobjectyes
typeyes

No examples provided.

Common questions

What is the Arbitype MCP server?

Arbitype is an MCP server listed in the public MCP registry as io.github.Renwang-Huang/arbitype. Typed decision tools for AI agents, powered by TypeSafe Jev. This page covers its PyPI package (arbitype).

Is the Arbitype MCP server safe to use?

Arbitype scores 66 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 23 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 Arbitype MCP server expose?

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

Is the Arbitype MCP server still maintained?

Arbitype is still listed as active in the MCP registry. We last reached this channel on 23 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 Arbitype MCP server under?

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