TypeSafe MCP

Name: TypeSafe MCP
Author: Renwang-Huang

von Renwang-HuangVersion 0.5.2i★ –iLäuft auf deinem Computer

Name in der Registryio.github.Renwang-Huang/typesafe-mcp

Installieren

Überblick

Beschreibung vom Entwickler (englisches Original)

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

Die drei Säulen von PopNx MCP

Diese drei werden nie zu einer Punktzahl zusammengefasst: Meinungen, Messungen und Beliebtheit sind verschiedene Dinge.

Stimmen der NutzeriNoch keine BewertungenBewertungen starten in einem späteren Schritt zusammen mit Benutzerkonten
Unsere Basischecksi1 von 1 bestandenAnhand öffentlicher Informationen geprüft; Code noch nicht gescannt
NutzungiNoch nicht gemessen★ –

Was du damit machen kannst

Für diesen Server haben wir noch keine Zusammenfassung in einfacher Sprache geschrieben. Unten stehen die Fakten, die wir aus der Registry gelesen haben.

Verbindung: Läuft auf deinem Computer
Transport: stdio
Kategorie: Sonstiges
Das musst du eintragen: TYPESAFE_API_KEY

Installation

Wähle die KI-App, die du nutzt, und kopiere die Einstellungen.

Bevor du installierst

Basischecks: 1 von 1 bestanden
Läuft auf deinem Computer mit den Rechten deines Benutzerkontos (Dateien, Netzwerk, Apps).
Das trägst du selbst ein: TYPESAFE_API_KEY

Als geheim markierte Werte sind Schlüssel zu deinem Konto. Gib sie nie weiter und füge sie nie in einen Chat ein.

Du brauchst

PyPIuv für Python installiert (für den Befehl uvx)

Welche App nutzt du?

ClaudeClaude CodeCursorVS CodeChatGPT

Wähle oben deine App. Wir merken sie uns, damit der Button beim nächsten Mal „In … installieren“ anzeigt.

Öffne Claude Desktop → Settings → Developer → Edit Config und füge dies in claude_desktop_config.json ein

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

Führe das in deinem Terminal aus

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

Trag die leeren Werte ein, bevor du ihn startest.

In Cursor öffnen

Oder kopier die Einstellungen selbst

In .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen

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

Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.

In VS Code öffnen

Oder kopier die Einstellungen selbst

In .vscode/mcp.json in deinem Projekt einfügen

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

Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.

Dieser Server läuft auf deinem Computer, und ChatGPT kann sich nur mit Servern im Internet verbinden. Wähle eine andere App.

Deine Auswahl bleibt in einem Cookie auf diesem Gerät; kein Konto nötig.

Werte, die du selbst einträgst

TYPESAFE_API_KEY geheim erforderlich env
API key for TypeSafe AI Jev System One.

Diese Einstellungen werden aus dem Registry-Eintrag des Entwicklers erzeugt. Wenn in der README etwas anderes steht, folge der README.

Was er kann

Läuft auf deinem Computer; die Tool-Liste erscheint nach der Installation in deiner KI-App.

Basischecksi

Wir prüfen Informationen, die jeder sehen kann; den Code haben wir nicht gelesen. Checks, die nicht zutreffen, werden nicht mitgezählt. · Geprüft am 8. Nov. 2026

✓ Bestanden
Entwickler passt zum Repo
Der Registry-Name wurde mit dem GitHub-Konto Renwang-Huang bestätigt, dem das Repo gehört
… Noch nicht geprüft
Wird noch gepflegt
Dieses Repo haben wir noch nicht von GitHub gelesen
… Noch nicht geprüft
Hat eine Lizenz
Dieses Repo haben wir noch nicht von GitHub gelesen
– Nicht zutreffend
Endpunkt antwortet
Dieser Server läuft auf deinem Computer; es gibt keinen Endpunkt im Internet
– Nicht zutreffend
Anmeldung mit OAuth
Läuft auf deinem Computer und nutzt stattdessen lokale Einstellungen
… Noch nicht geprüft
Keine versteckten Anweisungen in Tool-Beschreibungen
Läuft auf deinem Computer; Tool-Listen können wir nur von Endpunkten im Internet lesen

Im Vergleich mit anderen in Sonstigesi

Mehr Sterne als 0 % der anderen 18436 Server in dieser Kategorie
Neuer in der Registry veröffentlicht als 49 % der anderen 18436 Server in dieser Kategorie
Basischecks gleich gut wie oder besser als bei 100 % der anderen 18436 Server in dieser Kategorie

Verglichen mit allen aktiven Servern dieser Kategorie in der Registry. Sterne zählen nur, wenn dem Herausgeber das Repo gehört.

Häufige Fragen

Ist TypeSafe MCP sicher?

Er hat 1 von 1 zutreffenden Basischecks bestanden. Den Code haben wir nicht gelesen. Bevor du einen Schlüssel oder Token hinzufügst, sieh nach, welche Zugriffe der Server verlangt, und nutze einen Schlüssel, der nur die Berechtigungen hat, die du brauchst.

Welche Schlüssel oder Codes braucht er?

Das musst du eintragen: TYPESAFE_API_KEY

Läuft er auf meinem Computer oder in der Cloud?

Er läuft auf deinem Computer. Deine KI-App startet ihn bei Bedarf, und die Daten laufen nicht über die Server des Entwicklers (außer der Server ruft selbst einen Onlinedienst auf).

Wird er noch gepflegt?

Das GitHub-Repo wurde zuletzt – geändert, und die neueste Version (0.5.2) kam vor 2 Monaten in die Registry.

Welche Apps können ihn nutzen?

Apps, die MCP unterstützen, etwa Claude Desktop, Claude Code, Cursor und VS Code. Außerdem brauchst du Python (uv) auf deinem Computer.

Was kann ich stattdessen nutzen?

In derselben Kategorie: Spec Driven Development, Remote Desktop Commander, MONS

Alternativen

Server derselben Kategorie von anderen Entwicklern, sortiert nach Sternen.

So liest du eine Karte:★ GitHub-SterneiDrei Säulen: Bewertungen · Checks · NutzungiAktualisiert = neueste Version in der Registry veröffentlichti

Spec Driven Development

von formulahendry

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

Läuft auf deinem Computer★ 440MITAktualisiert vor 14 Monaten

Installieren

Remote Desktop Commander

von desktop-commander

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

Läuft in der Cloud★ 211Aktualisiert vor 3 Tagen

Installieren

MONS

von tomis3

Build and adjust your clients' MONS training plans: programs, templates, exercises, sets, reps.

Läuft in der CloudAktualisiert heute

Installieren

README vom Entwickler

README öffnen

Unverändert aus dem Repo des Entwicklers übernommen. PopNx MCP hat den Inhalt weder geprüft noch empfiehlt es ihn. HTML, Bilder und Skripte wurden entfernt. Links führen von dieser Website weg.

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

Überblick

Die drei Säulen von PopNx MCP

Was du damit machen kannst

Installation

Bevor du installierst

Werte, die du selbst einträgst

Was er kann

Basischecksi

Entwickler passt zum Repo

Wird noch gepflegt

Hat eine Lizenz

Endpunkt antwortet

Anmeldung mit OAuth

Keine versteckten Anweisungen in Tool-Beschreibungen

Im Vergleich mit anderen in Sonstigesi

Häufige Fragen

Alternativen

Spec Driven Development

Remote Desktop Commander

MONS

README vom Entwickler

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