aaaa-nexus — Formally Verified AI Safety APIs

Formally verified AI safety APIs.

От сообществаРаботаетБез входаГлобальныйБесплатноТолько чтение

Что умеет

    Какие данные видит

    Нужен ли аккаунт

    Не нужен: сервер работает без входа

    Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

    Список инструментов сервера (44)

    Технические названия из tools/list. Нужны только разработчикам.

    rng_quantumQuantum-seeded random bytes with HMAC-SHA256 entropy proof
    threat_scoreScore a JSON payload for security threats using triality consensus
    hallucination_oracleGet the LLM hallucination threshold constant
    identity_verifyTopological identity verification
    ratchet_registerRegister a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)
    authorize_actionPre-action authorization gateway — deterministic tool-call gating with cryptographic tokens
    spending_authorizeSpending governance — validate agent chain spending within trust-decay bounds
    lineage_recordDecision lineage vault — structured decision trace capture with tamper-proof hash chain
    contract_verifyBehavioral contract verifier — verify agent policy claims against formal bounds
    federation_mintAgent identity federation — mint cross-platform portable identity tokens
    aegis_mcp_proxy_executeNEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
    aegis_router_epistemic_boundNEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations
    vanguard_continuous_redteamNEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.
    vanguard_mev_route_intentNEXUS VANGUARD MEV route intent protection and shield bundle orchestration.
    vanguard_wallet_govern_sessionNEXUS VANGUARD UCAN governance session issuance for structured wallet approval.
    vanguard_escrow_lock_and_verifyNEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.
    uep_preflightUEP phase-0 preflight gate — bounded task summary and friction estimate before execution.
    uep_contextUEP context pack synthesis — merge recon snippets into a single agent-facing context object.
    uep_synthesis_guardUEP synthesis guard — block ungrounded expansions when evidence links are missing.
    uep_autopoiesis_planUEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.
    uep_trace_certifyUEP trace certification — sign a decision trace checksum for audit vault handoff.
    uep_aha_detectUEP AHA moment detector — novelty spike scoring for epiphany-style gates.
    sys_constantsSys constants snapshot — public tier counts, trust floor, and block dimension anchors.
    rag_augmentTrusted RAG augment — retrieve-and-quote augmentation with provenance hashes.
    text_summarizeExtractive text summarizer for bounded passages (JSON in, summary out).
    sys_trust_gateSys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.
    sys_lint_gateSys lint gate — structural policy lint over JSON agent plans.
    intent_classifyKeyword intent classifier for agent utterances — query/command/report/alert lanes.
    agents_planRule-based goal decomposition into 3–5 deterministic execution steps.
    keys_validateValidate X-API-Key entitlement tier (paid/extended/master) before gated tool calls.
    entitlement_attestAttest Ed25519-style entitlement token structure + signature for sovereign emit access.
    omega_intent_routeRank sovereign intent lanes (recon/emit/heal/govern/hive/synthesis) — deterministic router.
    omega_emit_materializeMaterialize deterministic contract sketch from intent — logic upstream of language.
    omega_emit_polyglotLanguage-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.
    omega_intent_nlStructured intent → agent-facing NL sketch (training signal, not human blueprint).
    forge_reconPolyglot repo recon — language/tier/source breakdown for monadic architectures.
    forge_certifyPolyglot 4-axis certify (docs/tests/layout/wire) with scored verdict.
    forge_wireRepo-wide upward-import wire scan — polyglot tier discipline check.
    forge_tier_inferInfer monadic tier placement for a file path from polyglot heuristics.
    forge_auditCompound Forge audit — recon + certify + wire in one deterministic pass.
    docs_generateDeterministic documentation enrichment targets from local path analysis.
    lint_analyzeSynthesize lint findings from supplied local analysis artifacts.
    certify_codebaseCountersign local Forge certificate with storefront attestation lane.
    certify_outputOutput certification notary — tamper-evident seal on agent deliverables.