TypeSafe MCP

Name: TypeSafe MCP
Author: Renwang-Huang

作者：Renwang-Huangバージョン 0.5.2i★ –iパソコンで動く

レジストリ名io.github.Renwang-Huang/typesafe-mcp

インストール

概要

作者による説明（英語の原文）

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

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
利用状況iとても新しい↓ 82/週 · ★ –

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

接続方法: パソコンで動く
トランスポート: stdio
カテゴリ: その他
入力が必要なもの：TYPESAFE_API_KEY

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

基本チェック：1項目中1項目に合格
あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
自分で入力するもの： TYPESAFE_API_KEY

「秘密」と表示された値は、あなたのアカウントの鍵です。絶対に人に教えたり、チャットに貼り付けたりしないでください。

必要なもの

PyPIPythonのuvのインストール（uvxコマンドに必要）

どのアプリを使っていますか？

ClaudeClaude CodeCursorVS CodeChatGPT

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます

{
  "mcpServers": {
    "typesafe": {
      "command": "uvx",
      "args": [
        "typesafe-mcp"
      ],
      "env": {
        "TYPESAFE_API_KEY": "your-value"
      }
    }
  }
}

ターミナルでこれを実行します

claude mcp add typesafe --env TYPESAFE_API_KEY=your-value -- uvx typesafe-mcp

動かす前に、空欄の値を入力してください。

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "typesafe": {
      "command": "uvx",
      "args": [
        "typesafe-mcp"
      ],
      "env": {
        "TYPESAFE_API_KEY": "your-value"
      }
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "typesafe": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "typesafe-mcp"
      ],
      "env": {
        "TYPESAFE_API_KEY": "your-value"
      }
    }
  }
}

これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

自分で入力する値

TYPESAFE_API_KEY 秘密必須 env
API key for TypeSafe AI Jev System One.

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック

✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント Renwang-Huang で確認済みです
… 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
… 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
– 対象外
エンドポイントが応答する
これはパソコンで動くため、インターネット上のエンドポイントはありません
– 対象外
OAuthでサインイン
パソコンで動き、代わりにローカルの設定を使います
… 未チェック
ツールの説明に隠れた指示がない
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです

その他のほかのサーバーとの比較i

このカテゴリのほかの18595件のうち0%よりスターが多い
このカテゴリのほかの18595件のうち48%より最近レジストリに公開
基本チェックの結果が、このカテゴリのほかの18595件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

TypeSafe MCPは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

入力が必要なもの：TYPESAFE_API_KEY

パソコンで動きますか、それともクラウドですか？

あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（0.5.2）がレジストリに届いたのは2 か月前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。

代わりに使えるものは？

同じカテゴリには：Spec Driven Development, Remote Desktop Commander, Aiterm MCP

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：↓ 週あたりのダウンロードi★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

Spec Driven Development

MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.

作者：formulahendry初期↓ 66/週★ 44014 か月前更新

パソコンで動く

インストール

Remote Desktop Commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

作者：desktop-commander成長中★ 2113 日前更新

クラウドで動く✓ desktopcommander.app

インストール

Aiterm MCP

Persistent terminals and one launcher for Claude, Codex, Grok, Cursor, and Antigravity harnesses.

作者：kitepon成長中↓ 4228/週今日更新

パソコンで動く

インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

Arbitype

Typed decision tools for AI agents.

Classify · Score · Verify · Gate · Route · Review

MCP-native · Powered by TypeSafe Jev

Quick start · Why Arbitype? · Tools · Benchmarks · Documentation

What is Arbitype?

Arbitype is an MCP-native typed decision layer for AI agents, powered by TypeSafe Jev. It turns probabilistic judgments into structured decision primitives that an agent or program can consume directly.

Arbitype is available on PyPI and the official MCP Registry.

[!NOTE]

Arbitype is an independent open-source project. It is not an official

TypeSafe AI product or an official integration for any particular agent host.

Quick Start

The fastest way to connect an MCP host is a local STDIO server launched by uvx:

export TYPESAFE_API_KEY="your-key"

uvx arbitype

For a pinned, reproducible launch:

uvx --from 'arbitype==0.7.0' arbitype

Or install the package into the current environment:

python -m pip install arbitype

arbitype

The API key stays in the process environment. It is not an MCP argument and is never printed to standard output.

Host setup

Inspect detected hosts before writing anything:

arbitype setup --detect --dry-run

Then apply a reviewed plan:

arbitype setup codex

arbitype doctor --json

The setup flow is plan → unified diff → confirmation → backup → apply. Use claude, cursor, or vscode in place of codex. Detailed host formats, secret forwarding, --yes, --remove, ownership, and non-interactive behavior are documented in docs/HOST_SETUP.md.

Configuration

At minimum, set TYPESAFE_API_KEY. To select a model explicitly:

export TYPESAFE_API_KEY="your-key"

export TYPESAFE_MODEL="jev-latest"

See the full configuration reference for endpoints, timeouts, retries, and request/response limits.

Compatibility

arbitype is the canonical distribution, Python package, and CLI. Existing TypeSafe MCP users should migrate to Arbitype; see docs/REGISTRY_MIGRATION.md.

For the safe migration from the historical distribution:

python -m pip uninstall typesafe-mcp

python -m pip install arbitype

Surface	Canonical	Legacy compatibility
PyPI / CLI	arbitype	typesafe-mcp, typesafe-codex-mcp
Python imports	arbitype	typesafe_mcp, typesafe_codex_mcp
MCP tools	route, review	codex_route, codex_review

Why Arbitype?

Arbitype is designed around contracts and bounded decisions rather than free-form prose:

Principle	What it means
Contract-first	Requests and provider responses are validated before they reach the agent.
Safe by default	Credentials stay out of MCP tool arguments and generated host configuration.
Agent-oriented	Purpose-built classify, verify, gate, route, review, and score primitives.
Portable	Zero third-party runtime dependencies and standard MCP STDIO.
Measured	Public tool-selection and decision-stability evaluation assets.

The decision flow is:

free-form state

↓ TypeSafe Jev ↓ probabilistic judgment ↓ Arbitype ↓ typed decision + probability ↓ agent / code branch

Real Use Cases

Start with one of the small, runnable fixtures:

Scenario	Tool	What it demonstrates
Support routing	route	Choose one next action without executing it.
PR verification	verify	Check several claims independently.
Release review	review / gate	Separate holistic review from thresholded checks.
Agent next step	route	Keep the next workflow action bounded.

The example outputs are illustrative fixtures. They are not live model results, accuracy claims, or authorization decisions.

Tools

Arbitype advertises nine read-only, idempotent MCP tools:

Tool	Use when	Result
evaluate	You need a custom typed Jev question set.	Raw typed Jev response.
classify	You need one choice from unordered labels.	Choice and probability distribution.
score	You need one ordered rating or level.	Weighted score and distribution.
check	You need a probability for one bounded criterion.	Noul yes/no probability.
verify	You need several named claims checked independently.	Noul answer per claim.
gate	You need checks and thresholds transformed into a signal.	pass, review, or fail.
route	You need one suggested next action.	One action; no action execution.
review	You need a holistic quality or risk assessment.	Review decision and evidence.
health	You need local diagnostics or an explicit live check.	Configuration and optional provider health.

Tool Selection Guide

Need	Use	Do not substitute
One unordered label	classify	route, which selects an action
One ordered rating	score	classify, which has no order
One bounded proposition	check	verify, which handles multiple claims
Several named claims	verify	review, which assesses a whole object
Checks plus thresholds	gate	review, which is holistic
One next action	route	classify, which returns a category
Whole diff, plan, release, or report	review	verify, which answers claim by claim

Tool descriptions also state USE WHEN and DO NOT USE WHEN boundaries so hosts can select a primitive without hidden prompt conventions.

Probabilities and confidence are model signals, not proof. gate and review are advisory decision transformations, not authorization systems, security boundaries, or approval engines.

Architecture

flowchart LR

host["AI Agent / MCP Host Codex · Claude · Cursor · VS Code"] arbitype["Arbitype Typed decision tools"] jev["TypeSafe Jev System One Model"] env["TYPESAFE_API_KEY process environment"]

The public product is Arbitype; TypeSafe Jev is the current provider. Provider configuration intentionally keeps the TYPESAFE_* names because the credential and endpoint belong to TypeSafe.

Benchmark Snapshot

Recorded on the public 120-case Jev-mediated tool-selection evaluation:

Metric	Result
Tool-selection accuracy	96.67%
Invalid-tool rate	0%
Schema-valid rate	100%

This is a Jev-mediated evaluation over Arbitype's advertised MCP tool catalog. It is not a Codex, Claude, or Cursor host benchmark and is not a general model-performance guarantee.

Details and reproducible assets:

Benchmark methodology
Tool-selection dataset
Recorded reports

Security Boundaries

Arbitype is a local MCP adapter and typed decision layer. It is not:

a sandbox for untrusted code;
an authorization or identity system;
a prompt-injection firewall;
a security approval boundary; or
an official TypeSafe AI product.

It does not execute actions suggested by route, edit files, run shell commands, or treat model probabilities as proof. Read SECURITY.md before using live credentials.

Documentation

Host setup
Configuration reference
MCP Registry migration
Supply-chain posture
Observability proposal
Testing
Benchmarks
Contributing
Security
Official MCP Registry entry
Glama listing (indexing and metadata refresh may lag publication)

Development

The test suite uses local fakes and does not need an API key:

python3 -m unittest discover -s tests -v

python3 -m compileall -q . make check make release-check

The official MCP Python SDK interoperability smoke test is in scripts/official_sdk_smoke.py. A live Jev check is opt-in and paid:

TYPESAFE_API_KEY="your-key" arbitype doctor --live

Normal CI does not call the provider or run paid benchmarks.

TypeSafe MCP

概要

PopNx MCPの3つの柱

できること

インストール

インストールの前に

自分で入力する値

できること

基本チェックi

作者とリポジトリが一致

今もメンテナンスされている

ライセンスがある

エンドポイントが応答する

OAuthでサインイン

ツールの説明に隠れた指示がない

その他のほかのサーバーとの比較i

よくある質問

代わりの候補

Spec Driven Development

Remote Desktop Commander

Aiterm MCP

作者のREADME

Arbitype

What is Arbitype?

Quick Start

Host setup

Configuration

Compatibility

Why Arbitype?

Real Use Cases

Tools

Tool Selection Guide

Architecture

Benchmark Snapshot

Security Boundaries

Documentation

Development