{"schema":"szl.spine_status/v1","checked_at":"2026-09-01T10:36:06.190400Z","source":"https://szlholdings-hatun-mcp.hf.space/.well-known/mcp","note":"federated tools read live from hatun-mcp's own .well-known/mcp manifest; nothing invented","reachable":true,"http_status":200,"server":{"description":"Doctrine-aware MCP server — PURIQ governance (Yuyay-13 gate, Khipu receipts, DSSE-signed responses) extended to the world's agents.","name":"hatun-mcp","vendor":"SZL Holdings","version":"1.0.0"},"governance":{"doctrine_locked":{"lean_declarations":749,"lean_sorries_total":163,"yuyay_axes":13},"protocol_revision":"2025-06-18","signer_mode":"ECDSA-P256"},"tool_count":25,"by_product":{"a11oy":3,"killinchu":4,"immune":2,"governance":16},"tools":[{"name":"szl_a11oy_code_chat","description":"Chat with a11oy.code unified open-LLM router","product":"a11oy"},{"name":"szl_killinchu_detect","description":"Detect/identify a drone from RF/Remote-ID/ADS-B","product":"killinchu"},{"name":"szl_killinchu_cue","description":"Signed BoE target cue (state-changing, 2-person gate)","product":"killinchu"},{"name":"szl_immune_scan","description":"a11oy Immune (Hukulla) screen of code/SBOM/image (signed verdict)","product":"immune"},{"name":"szl_a11oy_sentinel_scan","description":"a11oy Sentinel immune scan (twin of szl_immune_scan)","product":"immune"},{"name":"szl_companion_reason","description":"a11oy companion reasoning (grounded; refuses to fabricate)","product":"a11oy"},{"name":"szl_a11oy_operator_reason","description":"a11oy Operator reasoning (twin of szl_companion_reason)","product":"a11oy"},{"name":"szl_khipu_verify","description":"Verify a Khipu receipt hash + merkle proof","product":"governance"},{"name":"szl_lean_verify","description":"Verify a Lean theorem on lutar-lean kernel","product":"governance"},{"name":"szl_puriq_evaluate","description":"Compute PURIQ P(x,t) + factor breakdown","product":"governance"},{"name":"szl_yachay_dome_predict","description":"Yachay-Dome impact prediction for a track","product":"killinchu"},{"name":"szl_wayra_recent","description":"Recent WAYRA ingestions (honest stub until WAYRA ships)","product":"governance"},{"name":"szl_anatomy_3d_render","description":"Three.js scene snapshot URL for an organ","product":"governance"},{"name":"szl_doctrine_lookup","description":"Semantic lookup across Doctrine v11/v12/v13 + thesis v20","product":"governance"},{"name":"szl_yuyay_score","description":"13-axis Yuyay breakdown of content","product":"governance"},{"name":"szl_thesis_query","description":"RAG query against thesis-corpus-v18 HF dataset","product":"governance"},{"name":"szl_drone_lookup","description":"Canonical drone DB entry from killinchu","product":"killinchu"},{"name":"szl_formula_evaluate","description":"Evaluate a doctrine formula primitive (PURIQ P(x,t), KL, sigmoid, Liu Hui pi)","product":"governance"},{"name":"szl_lambda_quorum","description":"Governance-critical Λ verdict under Byzantine n>=3f+1 quorum (n=5,f=1) + BLS aggregate","product":"governance"},{"name":"yuyay_gate_check","description":"Run the 13-axis Yuyay gate over input (input-as-data defense) + Khipu receipt","product":"governance"},{"name":"khipu_append_and_verify","description":"Append a Khipu link and recompute-verify the append-only chain","product":"governance"},{"name":"dsse_sign","description":"Real ECDSA P-256 DSSE envelope (honesty=UNSIGNED when no key in process)","product":"governance"},{"name":"mesh_quorum_status","description":"Byzantine n>=3f+1 mesh-quorum status over named organs","product":"governance"},{"name":"puriq_master_tool","description":"THE named PURIQ entrypoint: Yuyay-13 -> quorum -> Khipu -> DSSE","product":"governance"},{"name":"governance_pacbayes_bound","description":"Published PAC-Bayes (McAllester) generalization bound (F7), real closed-form","product":"governance"}],"resources":[{"uri":"hatun://khipu/recent","description":"Recent Khipu receipts"},{"uri":"hatun://doctrine/locked-numbers","description":"Doctrine v11 LOCKED numbers"}],"auth_required":true}