MCP Server for Z.AI - A Model Context Protocol server that provides AI capabilities
Nothing to run from here
aaaa-nexus — Formally Verified AI Safety APIs is installed from its publisher's own source and answers where it runs, so this marketplace is not in the path of a single call. There is no address here to send one to, and a panel that pretended otherwise would be showing you an answer we made up. Install it and call it from your own client — the Installation tab has the entry for each one.
44
tools declared
—
trust score
remote
at its publisher
—
calls last 7d
What it does
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Quickstart
# 1 — add it to Claude Code
claude mcp add --scope user --transport http aaaa-nexus-formally-verified-ai-safety-apis-mcp https://aaaa-nexus.atomadictech.workers.dev/mcp
# 2 — ask your agent for something these tools do
# rng_quantum, threat_score, hallucination_oracle and 41 more
aaaa-nexus — Formally Verified AI Safety APIs costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.
Publishernot claimed
ATAll 3 servers
atomadictech3 servers
2 categories
Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.
Installation
Where are you running it?
Every route below installs the same thing and ends at the same approval screen. Nothing here runs on your machine and nothing runs on ours: this server answers at its publisher’s own address, and what you install is the connection straight to it.
Claude Codedeclared by this listing
This is a public server: it answers at its publisher’s own address and this marketplace is not in the path. Claude Code registers it in one command; --scope user makes it available in every project. The transport below is http, as the publisher's own manifest declares it.
claude mcp add --scope user --transport http aaaa-nexus-formally-verified-ai-safety-apis-mcp https://aaaa-nexus.atomadictech.workers.dev/mcpReconnect, or start a new session, and the tools appear in the model’s tool list.
Free on mcprush, and it answers at its publisher’s own address: this marketplace is not in the path, so there is no key of ours to hold and no card to add.
What it writes
One config entry pointing straight at the publisher’s own address — this marketplace is not in the path, and nothing from this listing executes on your machine.
What you approve
44 tools, with what each one reads, writes and reaches shown before you agree — the same list on every route above. Read the tool surface.
Tool surface
What the model actually sees. Descriptions are diffed on every release — see version history.
Quantum-seeded random bytes with HMAC-SHA256 entropy proof
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Score a JSON payload for security threats using triality consensus
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Get the LLM hallucination threshold constant
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Topological identity verification
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Register a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Pre-action authorization gateway — deterministic tool-call gating with cryptographic tokens
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Spending governance — validate agent chain spending within trust-decay bounds
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Decision lineage vault — structured decision trace capture with tamper-proof hash chain
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Behavioral contract verifier — verify agent policy claims against formal bounds
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Agent identity federation — mint cross-platform portable identity tokens
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
NEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
NEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
NEXUS VANGUARD MEV route intent protection and shield bundle orchestration.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
NEXUS VANGUARD UCAN governance session issuance for structured wallet approval.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
NEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
UEP phase-0 preflight gate — bounded task summary and friction estimate before execution.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
UEP context pack synthesis — merge recon snippets into a single agent-facing context object.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
UEP synthesis guard — block ungrounded expansions when evidence links are missing.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
UEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
UEP trace certification — sign a decision trace checksum for audit vault handoff.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
UEP AHA moment detector — novelty spike scoring for epiphany-style gates.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Sys constants snapshot — public tier counts, trust floor, and block dimension anchors.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Trusted RAG augment — retrieve-and-quote augmentation with provenance hashes.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Extractive text summarizer for bounded passages (JSON in, summary out).
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Sys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Sys lint gate — structural policy lint over JSON agent plans.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Keyword intent classifier for agent utterances — query/command/report/alert lanes.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Rule-based goal decomposition into 3–5 deterministic execution steps.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Validate X-API-Key entitlement tier (paid/extended/master) before gated tool calls.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Attest Ed25519-style entitlement token structure + signature for sovereign emit access.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Rank sovereign intent lanes (recon/emit/heal/govern/hive/synthesis) — deterministic router.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Materialize deterministic contract sketch from intent — logic upstream of language.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Language-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Structured intent → agent-facing NL sketch (training signal, not human blueprint).
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Polyglot repo recon — language/tier/source breakdown for monadic architectures.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Polyglot 4-axis certify (docs/tests/layout/wire) with scored verdict.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Repo-wide upward-import wire scan — polyglot tier discipline check.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Infer monadic tier placement for a file path from polyglot heuristics.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Compound Forge audit — recon + certify + wire in one deterministic pass.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Deterministic documentation enrichment targets from local path analysis.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Synthesize lint findings from supplied local analysis artifacts.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Countersign local Forge certificate with storefront attestation lane.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Output certification notary — tamper-evident seal on agent deliverables.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| body | object | no | For POST tools: JSON body per the matching path in /openapi.json. |
Free
$0 forever
- Every tool — any call limit is its publisher’s, not ours
- No card, and mcprush charges nothing for it
- Runs at its publisher’s own address — this marketplace is not in the path
- Nothing to cap, because mcprush bills nothing
What counts against your monthly calls
| Tool | Unit | Calls used | Out of the allowance |
|---|
Nothing here is billable: mcprush charges nothing to install aaaa-nexus — Formally Verified AI Safety APIs or to call it, at any volume.
Call allowance · this installenforced at the gateway
Monthly allowance, in calls
—
—
Alert at 80% · then the tool returns a normal MCP error
Used this month: —
—Grade not published
No rule-by-rule report on file for this release
Two independent axes, because powerful and malicious are different questions. The grade is threat only. The capability level is blast radius, and it is never a penalty on the grade — it is priced as one subtract-only term in the score, where you can see it.
This listing is an address its publisher runs, and you connect to it directly — this marketplace is not in the path. The scanner reads packages and public source, and an address is neither. So there is no grade — not a withheld one, an unmeasured one.
Release history
This is an address its publisher runs: which release it serves is theirs to choose, so there is nothing here to pin. The history below is for reading; the current release on file is 0.4.0.
0.4.0
undated
latestNo release note was published with this version.
—
no reviews yet
Who can review
One review per account, from a signed-in account that does not publish this listing. Nothing else is asked — you can say what you think before you install it. Publishers can reply once per review, and a review can be edited or deleted by whoever wrote it.
Sign in to write one
Any signed-in account that does not publish aaaa-nexus — Formally Verified AI Safety APIs can review it, once — before installing it or after. A review from an account that has installed it is marked as one.
No reviews yet
Nobody has reviewed this listing. The rating on the card is the mean of the reviews written here and nothing else, so there is no rating until somebody writes the first — which takes a signed-in account that does not publish it, and nothing else.