🔧
aaaa-nexus — Formally Verified AI Safety APIsVerified🛡 No advisories
io.github.atomadictech/aaaa-nexus
New to MCP? Start here →0★ stars
0weekly installs
3 months agolast release
Provenancewhere it came from, and what was verified
✓
Verified namespace
Published to the official MCP registry by github.com/atomadictech, which proved it owns this namespace.
Verified owner: github.com/atomadictech ↗io.github.atomadictech/aaaa-nexus
🛡 Permissions & trustwhat this server can touch before you run it
◆
Network access
Connects to a hosted remote endpoint.
About
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Packages & transports
remotehttps://aaaa-nexus.atomadictech.workers.dev/mcpHTTP
C
Quality 65/100
how much you can lean on this server
Maintenance
26/45
Completeness
28/35
Reliability
11/20
Computed from the server's own data, not a hidden formula. This measures how much you can depend on it, not how popular it is. Stars are shown separately, on purpose. How it's scored →
A
Tool definition quality 89/100
how well its 44 tools describe themselves to an agent
▸rng_quantum83B
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸threat_score93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸hallucination_oracle83B
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸identity_verify83B
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸ratchet_register93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸authorize_action93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸spending_authorize93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸lineage_record93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸contract_verify93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸federation_mint93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸aegis_mcp_proxy_execute93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸aegis_router_epistemic_bound93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸vanguard_continuous_redteam93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸vanguard_mev_route_intent93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸vanguard_wallet_govern_session93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸vanguard_escrow_lock_and_verify93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸uep_preflight93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸uep_context93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸uep_synthesis_guard93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸uep_autopoiesis_plan93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸uep_trace_certify93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸uep_aha_detect93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸sys_constants93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸rag_augment93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸text_summarize93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸sys_trust_gate93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸sys_lint_gate93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸intent_classify93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸agents_plan93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸keys_validate93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸entitlement_attest93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸omega_intent_route93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸omega_emit_materialize93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸omega_emit_polyglot93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸omega_intent_nl93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸forge_recon93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸forge_certify93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸forge_wire93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸forge_tier_infer93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸forge_audit93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸docs_generate93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸lint_analyze93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸certify_codebase93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
▸certify_output93A
Description
present and substantive
Param types
params declare a type
Param docs
params are described
Structure
required fields declared
Structural, not an LLM's opinion: each check is a fact about the tool's schema, so it's reproducible. One weak tool drags the score (60% average, 40% worst). How it's scored →
For the maintainer
Raise this grade
up to +35 on qualityOwn this server? Here's exactly what to change, biggest wins first. Every number below is a fixed point value, so you can see what each edit is worth before you make it.
+19
Keep it activeMaintenance
Push to the repo or cut a release. Activity within the last 30 days earns the full 45.
+9
Collect working reviewsReliability
With no reviews this sits at a neutral 11. Reviews reporting it works push it toward the full 20.
+7
Declare a licenseCompleteness
Add an SPDX license (like MIT or Apache-2.0) to the repo so it's detected.
Tool definitions to fix first
rng_quantum83/100
- Description is short (58 chars). Expand past 60 for full credit.
- No `required` array. Declare which params are mandatory so an agent knows what it must provide.
hallucination_oracle83/100
- Description is short (44 chars). Expand past 60 for full credit.
- No `required` array. Declare which params are mandatory so an agent knows what it must provide.
identity_verify83/100
- Description is short (33 chars). Expand past 60 for full credit.
- No `required` array. Declare which params are mandatory so an agent knows what it must provide.
threat_score93/100
- No `required` array. Declare which params are mandatory so an agent knows what it must provide.
Already earned (3) ▾Already earned (3) ▴
✓Describe what it does+11
✓Give an install path+11
✓Link the source+6
These are structural checks, so the fixes are exact. See the full formula →
Add a badge to your README
[](https://socketcat.com/servers/io.github.atomadictech/aaaa-nexus)Shows your live quality grade and links back here. It updates itself as the grade changes.
Reviews
Sign in to leave a reviewNo reviews yet. Be the first to say whether it worked.
Add to your client
Pick your client, copy, paste into its config. That's the whole setup.
~/.claude/claude_desktop_config.json
{
"mcpServers": {
"aaaa_nexus": {
"command": "npx",
"args": [
"-y",
"aaaa-nexus"
]
}
}
}▶ Try itlive against aaaa-nexus.atomadictech.workers.dev
This server has a hosted endpoint, so we can connect and list its actual tools right here. Nothing runs on your machine.