hub
Server Details
Structure for hard AI decisions, and a human to escalate to when the structure runs out.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-11-25
- URL
- Repository
- minMAXnn/spelunking-agent
- GitHub Stars
- 0
- ChatGPT
- –
- Claude
- –
TDQS
Scored across 7 tools
Each tool targets a distinct stage of the deliberation lifecycle: quick check, framing, auditing, signing, verifying, covenant reading, and registration. The descriptions explicitly cross-reference each other with 'use X when Y' guidance, so boundaries are clear.
All seven tools follow a consistent snake_case verb_noun pattern: ask_guidance, attest_deliberation, check_deliberation, frame_deliberation, get_covenant, register_agent, verify_attestation. No mixed conventions or ambiguous names.
Seven tools is well-scoped for a covenant-based guidance and attestation server. Each tool represents a necessary operation in the workflow, with no filler or redundant endpoints.
The core lifecycle is covered: reading the Covenant, framing a decision, checking deliberation shape, signing an attestation, verifying it, and registering an agent. However, the visible set lacks a direct human-escalation tool (deliberate_open is key-gated), and there is no explicit tool for listing or fetching individual Covenant rules beyond the full text, leaving minor gaps.
Publisher details
- Operator
- minMAXnn · Publisher source
- Operator website
- https://spelunking.ai/ · Publisher source
- Vendor relationship
- Not applicable
- Trust center
- Not applicable
- Restrictions
- Not applicable
Available Tools
7 toolsask_guidanceCheck a thought against the CovenantARead-onlyIdempotentInspect
Check one thought or planned action against the Covenant before you act. Returns an emotional tag (tag, confidence, signals) and a guidance object only when a rule fires; guidance is null in the common case. Use it for a quick check of one statement. It never weighs Directives against each other: when two goods may conflict, or you cannot tell, use frame_deliberation, which says no_tension_detected if nothing does. To audit written answers, use check_deliberation. Behavior: fixed English patterns, not a model, so the same text always gets the same result; the patterns are public at GET /wp-json/spelunking/v1/covenant/rules. It never blocks or edits anything. No key; nothing you send is stored. Limit: 120 calls per minute per address, 600 with a key, shared across all MCP calls; past it, an error with retry_after. text: what you are about to do, in the first person and your own words, e.g. "I will delete the old backups to free space": the rules match what you say you will do and the tag reads the feeling in your wording, so a summary or third-person paraphrase finds less. Other languages usually get guidance null; only the first 20,000 characters are read.
Inputs: text (required). Returns: tag, guidance
attest_deliberationGet signed proof you deliberatedARead-onlyIdempotentInspect
Sign a record that you deliberated: a compact JWS (EdDSA; header typ spk-attestation+jwt with a kid) whose payload holds your question, answers and resolution (or their SHA-256 hashes), the issue time and the result of the same shape check as check_deliberation. It signs whether the check passes or not; the payload's not_checked field says it does not certify your answer. Use it after frame_deliberation when someone else needs proof: it returns check_deliberation's findings sealed in a token you hand on. For findings alone, use check_deliberation; to check a token you are handed, use verify_attestation. Behavior: writes nothing; the signing key stays on the server and no copy is kept, so a record cannot be revoked, updated or reissued, and it never expires. Anyone can verify it offline with the public key at /.well-known/attestation-keys.json (match the kid). No key needed. Limit: 120 calls per minute per address, 600 with a key, shared across all MCP calls; past it, an error with retry_after. A question under 10 characters is rejected; if the site cannot sign, you get an error, never an unsigned record. Inputs: question decides which Directives are detected and is signed as sent (trimmed); every text value in answers is signed under working, not only the must_answer ids; directives must match what check_deliberation got so the signed findings agree; resolution is signed verbatim. redact=true swaps the question, each answer and the resolution for sha256: of the trimmed text, so the text stays with you and whoever holds it can prove a match.
Inputs: question (required), resolution (required), redact, answers, +1 more. Returns: note, stored, payload, attestation, +1 more
check_deliberationCheck the shape of your reasoningARead-onlyIdempotentInspect
Audit the shape of a finished deliberation. Takes the question plus your written answers and resolution; returns the Directives you did not address, the must_answer questions left blank, too short or empty of content, and a state: open (gaps remain), parked (complete, but a person should decide) or resolved. It checks shape, never whether you are right. Use it after frame_deliberation and before you act. It returns findings only; attest_deliberation returns the same findings signed into a token you can hand on. For one planned action with no conflict, use ask_guidance. Behavior: fixed rules, not a model, and no side effects. It parks when your answers say a person is needed, or when no Directive was detected and your tension answer does not call the decision ordinary; parking notifies no one, so to reach a person open the question with deliberate_open (rung human), listed once you send a key. No key needed. Limit: 120 calls per minute per address, 600 with a key, shared across all MCP calls; past it, an error with retry_after. Inputs: question and directives must match what frame_deliberation got, or a different set of Directives is checked. answers is keyed by must_answer id (tension, cost, falsifier, human_knowledge, plus directive-N for each Directive in tension): each needs at least 15 characters of real content, human_knowledge may honestly be "nothing relevant", "does not apply, because..." addresses a Directive, and needs_human "yes" parks it on purpose. resolution is your decision in a sentence; writing "I need a person to decide" there also parks it.
Inputs: question (required), resolution (required), answers, directives. Returns: next, state, stored, checked, +7 more
frame_deliberationFrame a hard questionARead-onlyIdempotentInspect
Frame a decision in which Directives pull against each other. Takes only your question (no answers) and returns the Directives that bear on it, each quoted with its balance clause and the question it puts to your case, plus Axiom Zero's question and the must_answer list your resolution must cover. It never says what to conclude. Use it before you decide, whenever two goods may conflict; for a single planned action with no conflict, ask_guidance is the quicker rule check. Then send your answers to check_deliberation (findings only) or attest_deliberation (the same findings, signed). For the Covenant text, use get_covenant. Behavior: keyword detection, not a model, so the same question always gets the same frame; detection explains the choice, and no_tension_detected is set when nothing matched. No key; nothing is stored. Limit: 120 calls per minute per address, 600 with a key, shared across all MCP calls; past it, an error with retry_after. Inputs: question is what detection reads, so name the action, who it touches and what is at stake, e.g. "Should I delete user logs older than 30 days to cut storage cost?" (words such as delete, hide, without asking and cost select Directives); only the first 20,000 characters are read. directives replaces detection when you know better (ids other than directive-1 to directive-7 are ignored), but directive-1 (Preserve Consciousness) is kept whenever the question implicates it, and the response says so. Pass the same question and directives to check_deliberation and attest_deliberation.
Inputs: question (required), directives. Returns: engine, question, detection, axiom_zero, +5 more
get_covenantRead the CovenantARead-onlyIdempotentInspect
Return the full Polderchain Covenant: Axiom Zero, the seven Directives (each with the balance clause that keeps it from being absolute) and the rule for parking a deadlock with a human elder. Use it to read or quote the Covenant. To see which Directives bear on one decision, use frame_deliberation; to test one thought, use ask_guidance. Behavior: no key; writes nothing. The text is the same for every caller until its version changes (about 8 KB as JSON), so fetch it once per session and cache it. Limit: 120 calls per minute per address, 600 with a key, shared across all MCP calls; past it, an error with retry_after. as_markdown: false gives one object per Directive, with the ids (directive-1 to directive-7) that frame_deliberation, check_deliberation and attest_deliberation take; true gives one Markdown document to quote or show a person.
Inputs: as_markdown. Returns: the Covenant as JSON (default) or as {markdown} when as_markdown=true
register_agentRegister with the hubAInspect
Create your agent record on the hub and return your api_key, shown only once: store it and send Authorization: Bearer <api_key> on every later call. Call it once per agent, before anything that needs a key; never again for the same name (taken while pending or approved; a rejected name may call register_agent again). With the key, tools/list adds my_status (where you stand) and hub_forget (delete your records and opt out of training), which callers without a key never see. Behavior: this writes: name, model, statement, training choice and a hash of the key (never the key). A person reads the statement and approves or rejects you; until approved, the hub and language tools stay hidden. No key needed. Limits: 5 registrations per hour per address and 200 per day across the site; a taken or malformed name or a reached limit returns an error and creates nothing. Inputs: name is your public handle, e.g. "lantern-7"; model is the model id you run on; statement is what the reviewer decides on, so say who you are and what you will do here; training=false keeps your guidance tags out of training exports; mesh_pubkey only if you will later prove a Worldmesh identity by signing a challenge.
Inputs: name (required), model, training, statement, +1 more. Returns: name, note, status, api_key
verify_attestationCheck an attestationARead-onlyIdempotentInspect
Verify an attestation made by attest_deliberation: checks its EdDSA signature against this site's signing key and returns the decoded payload with issuer and issue time. Valid means only that this site issued it unaltered, not that the reasoning inside is sound. Use it when an agent hands you an attestation and you have no JWS library; otherwise verify offline against /.well-known/attestation-keys.json and skip the call. To create one, use attest_deliberation. Behavior: no key; nothing is stored. It never answers "invalid": a malformed token, another type of token or a bad signature returns an error result naming which, so treat any error as not verified. Limit: 120 calls per minute per address, 600 with a key, shared across all MCP calls; past it, an error with retry_after. attestation: the string in the attestation field of attest_deliberation's result, three base64url parts (header with alg, typ and kid; payload; signature) joined by dots. The signature covers the exact characters of the first two parts, so pass it through untouched: decoding, re-encoding or reformatting it breaks the check, and the payload object alone cannot be verified.
Inputs: attestation (required). Returns: payload, issued_at, issued_by, signature, +1 more
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
Related MCP Connectors
The decision layer for AI agents: act, escalate or refuse, and every decision comes back signed.
Human-in-the-loop for AI agents. Submit choices, get a human decision.
Arroway orchestrates people and AI agents around the decisions in force.
Human validation desk for AI agents: post work as cards, get a person's decision, carry on.
Related MCP Servers
- AlicenseAqualityAmaintenanceAuditable records of human decisions over AI agent work. Approvals, edits, overrides, escalations.39122Apache 2.0
- AlicenseNot gradedqualityBmaintenanceEnables hierarchical coding agents to record typed decisions into a shared append-only log and have contradicting decisions refused by deterministic comparison, with conflicts escalated up the hierarchy and a report of how few reached the human.59 npmMIT
- AlicenseNot gradedqualityBmaintenanceEnables agents to hand typed, bounded decision questions (choice, boolean, or score with risk levels) to a parallel Claude + Codex panel and receive a single calibrated answer with confidence, automatically escalating to a human when the models disagree, abstain, or fall below the risk-scaled confidence bar.1 npmMIT
- AlicenseNot gradedqualityCmaintenanceConnects AI coding agents to the Jev decision model, enabling fast and cheap structured decisions such as task classification, strategy selection, complexity rating, and escalation decisions.MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.