arbitypeSAFE
Typed decision tools for AI agents, powered by TypeSafe Jev
Overview
From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.
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]
2a8fc37bd5f9OBSERVED · 2026-10-11Connect
Built from this server's own package name, version and transport as found in its source — not copied from anyone's documentation, so it cannot drift against a page we do not control. Replace the environment placeholders with a token scoped to the least it needs.
claude mcp add arbitype --env TYPESAFE_API_KEY=${TYPESAFE_API_KEY} -- uvx arbitype==0.7.0Trust audit
SAFEgrade B · trust 89/100 Nothing in the source contradicts what it says it does. Grade A is reserved for packages that have also passed the behavioural sandbox.
| Layer | What it checks | Result |
|---|---|---|
| L0 | Provenance & inventory | PASS |
| L1 | Static analysis of the code | PASS |
| L2 | Instruction surface (what it tells the agent) | PASS |
| L3 | Class-specific surface | PASS |
| L4 | Behavioural (sandbox) | SKIPPED |
What the source does
- Filesystem
- none-observed
- Network
- declared (5 observation(s))
- Shell
- none-observed
- Dependencies
- pinned
- Secrets in source
- none-found
Findings (7)
for base_url in ("http://127.0.0.1:8080", "http://localhost:8080", "http://[::1]:8080"):base_url=f"http://127.0.0.1:{server.server_port}/api",f"http://127.0.0.1:{target_server.server_port}/redirected",base_url=f"http://127.0.0.1:{redirect_server.server_port}/api",- 77 local unit and integration tests pass with no network access and no API key.
Please do not open a public issue for a credential leak or an exploitable
Gates applied: no_behavioural_pass.
2a8fc37bd5f9full audit observations/trust-audit/mcp-server/renwang-huang__arbitype.json · Report an issue / request a re-scanAudit history
Every audit this server has had. A grade with a past is a grade somebody is still checking.
| Date | Source | Verdict | Grade | Score | Change |
|---|---|---|---|---|---|
| 2026-10-11 | 2a8fc37bd5f9 | SAFE | B | 89 | first audit |
Questions
What is the arbitype MCP server?
Typed decision tools for AI agents, powered by TypeSafe Jev
Is arbitype safe to connect to an agent?
The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean server reads B.
What credentials does arbitype need?
It reads TYPESAFE_API_KEY from the environment. Give it a token scoped to the least it needs — an agent that can be talked into calling a tool can be talked into calling it with your credentials.
How does arbitype run?
It speaks stdio, so it runs as a local process your client starts. It is published on PyPI as arbitype.
How current is this page?
The grade is for one exact copy of the source (2a8fc37bd5f9), read on 2026-10-11. The repository is watched and re-audited when it changes.