Homo Universalis — HU-DIAMOND v1.1 Cryptographic Verifier & AST Kintsugi MCP Server
Server Details
Zero-auth Cryptographic Notary & AST Verifier: Reed-Muller RM(1,3), L1..L7, RFC 6962 & ES256 JWS.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-11-25
- URL
- Repository
- David-Porto-Baraldes/Viveka_Web
- GitHub Stars
- 0
- Server Listing
- Homo Universalis — Viveka Oracle
- ChatGPT
- –
- Claude
- –
TDQS
Scored across 3 tools
Each tool targets a genuinely different action: cost/call estimation, Python code + RM(1,3) audit, and Merkle text notarization. Descriptions explicitly cross-reference the other two tools with 'use X instead when...' guidance, which sharply reduces misselection. The only friction is the dense cryptographic jargon that makes the boundaries harder to parse on first read than the underlying purposes warrant.
All three names are snake_case, verb-first, and domain-prefixed, so the pattern is predictable. The minor inconsistency is that two are 'verify_<noun>' while one is 'simulate_<noun>' and the crucible name composes two nouns with '_and_' (verify_diamond_crucible_and_ast), a slightly different shape from the others.
Three tools sit at the low end of the typical 3-15 range but each is a deliberately composite operation (four verification pillars per call), so the count is defensible rather than thin. It is slightly under-decomposed, since a single tool bundling AST checks, RM geometry, mutant laws, and JWS signing leaves no way to invoke just one check.
The surface issues attestations, Merkle proofs, PII redaction, budget estimates, and cognitive-law checks, but stops at issuance: there is no tool to verify a previously issued ES256/JWS signature, retrieve the public key or JWKS, or check an external Merkle inclusion/consistency proof. Those gaps will dead-end agents trying to validate rather than produce cryptographic artifacts.
Available Tools
3 toolssimulate_diamond_spiral_budgetARead-onlyIdempotentInspect
Compute deterministic LLM call counts, token budgets, and EUR/Seed costs for 1 to 4 spiral turns of the 8-vertex Diamond Wheel multi-agent orchestrator. Use this tool only to estimate call volume and cost before launching a multi-agent run, or use verify_diamond_crucible_and_ast to audit Python code and RM(1,3) proofs, and verify_sovereign_shield_merkle to notarize text in an RFC 6962 Merkle tree. Zero-auth, stateless, and free (0.00 EUR), executing pure arithmetic without invoking any LLM. Each spiral turn (rounds 1..4) adds 9 LLM calls (4 creators, 4 antipodal auditors, and 1 barycenter synthesizer, totaling 9, 18, 27, or 36 calls, plus 10 final inquisition calls when rounds=4), while tier='supreme' prices calls for gemini-4-argon (10,000 to 64,000 Seeds / 10.00 to 64.00 EUR) and tier='flash' prices calls for gemini-3.8-flash at reduced cost, and lang localizes vertex role descriptions.
| Name | Required | Description | Default |
|---|---|---|---|
| lang | No | Output language for localized vertex and budget breakdowns ('en' English, 'es' Spanish, or 'ca' Catalan). | en |
| tier | No | Model pricing tier ('supreme' for gemini-4-argon Deep Think or 'flash' for high-speed gemini-3.8-flash). | supreme |
| rounds | No | Number of spiral turns (`1..4`, corresponding to `9, 18, 27, or 36` spiral calls plus the 10-call Supreme Inquisition dome on round 4). |
Output Schema
| Name | Required | Description |
|---|---|---|
| lang | No | |
| budget | Yes | |
| oracle | No | |
| status | Yes | |
| equation | No | |
| vertices | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnly, idempotent, non-destructive, and closed-world, but the description adds materially new behavior: zero-auth, stateless, free at 0.00 EUR, and pure arithmetic that invokes no LLM. It also discloses the exact call-count formula (9 per turn, plus 10 inquisition calls at round 4) and the price ranges per tier.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Purpose is front-loaded in the first clause and every sentence carries information, so there is no filler. However, the final sentence is an extremely dense run-on that packs call-count math, tier pricing, and language behavior together, which makes it harder to scan than a short bulleted breakdown would be.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With an output schema present, the description need not explain return values, and it still covers everything else an agent needs: safety profile, auth (none), cost (zero), what gets computed, and how each of the three parameters shifts the result. Nothing required to call it correctly is missing.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, so the baseline is 3; the description earns a step up by giving concrete outcomes for parameter values – tier='supreme' maps to gemini-4-argon at 10,000–64,000 Seeds / 10.00–64.00 EUR, and lang localizes vertex role descriptions. Some of this (the rounds-to-call-count mapping) duplicates the schema text rather than adding to it.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb and resource – computing deterministic LLM call counts, token budgets, and EUR/Seed costs for 1 to 4 spiral turns of the 8-vertex Diamond Wheel orchestrator. It also names both siblings and what they do instead, so the agent can route without opening any schema.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Explicitly scopes use to pre-run estimation ("Use this tool only to estimate call volume and cost before launching a multi-agent run") and points to the two alternatives for auditing code and notarizing text. When-to-use and when-to-use-something-else are both stated.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verify_diamond_crucible_and_astARead-onlyIdempotentInspect
Audit Python source code and verify the 8-vertex Reed-Muller RM(1,3) cryptographic crucible in under 4 ms. Use this tool when auditing Python code snippets (code_markdown) or obtaining an ES256-signed crucible attestation, or use verify_sovereign_shield_merkle for RFC 6962 Merkle tree notarization and PII purification, and simulate_diamond_spiral_budget for multi-agent call and cost estimation. Zero-auth, stateless, and free (0.00 EUR), running four checks on every call: RM(1,3) antipodal geometry across 256 states in Q^3, non-coercion laws L1..L7 (c_levels == 1), 22/22 killed policy mutants, and Python AST static verification (syntax, import-hoist guard, and zero placeholders) whenever code_markdown is provided. Setting diag_active (1..4) selects which body diagonal pair receives double weight in the rational barycenter calculation, lang localizes diagnostic summaries, and any Python syntax error or AST rule violation sets status to 'violation_detected' with line-level diagnostics while still returning a valid RFC 8785 (JCS) + RFC 7515 (JWS ES256) signature.
| Name | Required | Description | Default |
|---|---|---|---|
| lang | No | Output language for localized verification summaries ('en' English, 'es' Spanish, or 'ca' Catalan). | en |
| diag_active | No | Active body diagonal of the 8-vertex Stella Octangula (`1` Fire, `2` Earth, `3` Air, or `4` Water; default `2`), assigning weight 2 to the active antipodal pair in the rational barycenter. | |
| code_markdown | No | Optional Python source code or Markdown containing ```python blocks to audit with the AST Kintsugi Verifier (Syntax, Rule 4 Import Hoist Guard, and Rule 7 Zero Placeholders). When omitted, only the 256-state RM(1,3) crucible and 22/22 mutant checks run. |
Output Schema
| Name | Required | Description |
|---|---|---|
| lang | No | |
| oracle | No | |
| status | Yes | |
| equation | No | |
| crucible_proof | Yes | |
| cryptographic_attestation_es256 | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Beyond the annotations, the description discloses zero-auth/stateless/free operation, sub-4 ms performance, the four checks run on every call, and what happens on Python syntax or AST violations (status becomes 'violation_detected' with line-level diagnostics while still returning a valid signed response). This is substantial behavioral context.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is dense and jargon-heavy, but it is front-loaded with the main purpose and proceeds into usage, behavior, and parameters without obvious filler. Some sentences are very long, which slightly reduces readability for an agent.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a complex cryptographic and AST verification tool, the description covers the main checks, error behavior, parameter effects, auth/state properties, and sibling alternatives. An output schema is present, so it does not need to explain return values in detail.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so the schema already documents all three parameters, including the enum for lang and the detailed diag_active mapping. The description restates this information but adds little meaning beyond the schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses specific verbs ('Audit', 'verify') and resources ('Python source code', '8-vertex Reed-Muller RM(1,3) cryptographic crucible') to state what the tool does. It explicitly distinguishes this tool from its siblings by naming verify_sovereign_shield_merkle and simulate_diamond_spiral_budget.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It gives explicit when-to-use guidance: auditing Python code snippets in code_markdown or obtaining an ES256-signed crucible attestation. It also routes users to the correct sibling tools for Merkle notarization/PII purification and multi-agent cost estimation.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verify_sovereign_shield_merkleARead-onlyIdempotentInspect
Notarize text into an RFC 6962 binary Merkle audit tree, strip PII under Zero-Knowledge privacy rules, and verify cognitive load limits in under 1 ms. Use this tool when notarizing text, purifying PII, or auditing cognitive load and fair-share economics, or use verify_diamond_crucible_and_ast for Python AST code auditing and RM(1,3) proofs, and simulate_diamond_spiral_budget for multi-agent call and cost estimation. Zero-auth, stateless, and free (0.00 EUR), always executing all four verification pillars: RFC 6962 domain-separated Merkle inclusion and consistency proofs, Zero-Knowledge PII purification with a flat c_levels == 1 receipt, cognitive sovereignty laws L1..L7 checking that load L stays within budget_b and cost_zero_stop is true, and exact rational fair-share allocation (50% compute, 25% platform, 25% community scholarship). Passing PII in text redacts sensitive tokens before Merkle hashing, setting cost_zero_stop=false or budget_b < 120 triggers a law violation flag in pillar_iii_cognitive_sovereignty_laws_L1_to_L7, and lang localizes all pillar reports.
| Name | Required | Description | Default |
|---|---|---|---|
| lang | No | Output language for localized notary and compliance reports ('en' English, 'es' Spanish, or 'ca' Catalan). | en |
| text | No | Optional text message to scrub for PII (emails, phones, coordinates, ISO birth dates) and anchor as a domain-separated `0x00` leaf in the RFC 6962 Merkle audit tree. | |
| budget_b | No | Maximum allowed cognitive load budget `B` (`1..10000`, default `250`) evaluated against current load `L` (`0 <= L <= B`). | |
| cost_zero_stop | No | Whether user pause or exit carries zero penalty (`true` satisfies Law L2; `false` triggers an anti-coercion violation). |
Output Schema
| Name | Required | Description |
|---|---|---|
| beacon | Yes | |
| oracle | No | |
| equation | No | |
| pillar_i_rfc6962_merkle_transparency | Yes | |
| pillar_ii_rule14_three_ring_zk_and_receipt | Yes | |
| pillar_iii_cognitive_sovereignty_laws_L1_to_L7 | Yes | |
| pillar_iv_persephone_exact_rational_solidarity | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnly, idempotent, non-destructive, closed-world behavior, so the bar is lower, and the description still adds real value: zero-auth, stateless, free (0.00 EUR), always executes all four pillars, PII is redacted before hashing, and `cost_zero_stop=false` or `budget_b < 120` raises a law-violation flag. 'Notarize' could superficially read as a write, but the explicit 'stateless' wording resolves that against readOnlyHint=true.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The purpose and usage routing are front-loaded, but the description becomes a dense comma-spliced run-on that restates the four pillars twice (once as a list, once as elaboration). It is informative but noticeably over-packed with jargon, costing parseability.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With annotations covering the safety profile and an output schema present, the description supplies everything else an agent needs: auth model, statelessness, cost, which pillars always run, and the specific conditions that trigger violation flags. Nothing material is missing for correct invocation.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, so the baseline is 3, but the description adds meaning the schema lacks — notably the `budget_b < 120` violation threshold, the effect of `cost_zero_stop=false`, and that `lang` localizes all pillar reports. The text parameter's redaction-before-hashing behavior is also clarified.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description opens with concrete verbs and resources: notarize text into an RFC 6962 Merkle audit tree, strip PII under Zero-Knowledge rules, and verify cognitive load limits. It also names both siblings and what each does, so an agent can distinguish this tool from `verify_diamond_crucible_and_ast` and `simulate_diamond_spiral_budget` without opening any schema.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It states explicit when-to-use conditions (notarizing text, purifying PII, auditing cognitive load/fair-share economics) and routes the agent to the two alternatives by naming them and their domains. The only minor gap is the absence of an explicit when-not-to-use exclusion, but the sibling routing largely covers that.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
3 tool updates
- Changed
simulate_diamond_spiral_budget4 fields changed- changed
Input schema / properties / lang / descriptionPrevious value: -"Output language code ('ca', 'es', or 'en')."New value: +"Output language for localized vertex and budget breakdowns ('en' English, 'es' Spanish, or 'ca' Catalan)." - changed
Input schema / properties / lang / enumPrevious value: -[ - "ca", - "es", - "en" -]New value: +[ + "en", + "es", + "ca" +] - changed
Input schema / properties / rounds / descriptionPrevious value: -"Number of spiral turns (`1..4`, corresponding to `9, 18, 27, 36` Deep Think calls)."New value: +"Number of spiral turns (`1..4`, corresponding to `9, 18, 27, or 36` spiral calls plus the 10-call Supreme Inquisition dome on round 4)." - changed
Input schema / properties / tier / descriptionPrevious value: -"Engine tier ('supreme' for gemini-4-argon or 'flash' for gemini-3.8-flash)."New value: +"Model pricing tier ('supreme' for gemini-4-argon Deep Think or 'flash' for high-speed gemini-3.8-flash)."
- Changed
verify_diamond_crucible_and_ast3 fields changed- changed
Input schema / properties / code_markdown / descriptionPrevious value: -"Optional Python source code or Markdown containing ```python blocks to audit with the AST Kintsugi Verifier (Syntax, Rule 4 Import Hoist Guard, Rule 7 Zero Placeholders)."New value: +"Optional Python source code or Markdown containing ```python blocks to audit with the AST Kintsugi Verifier (Syntax, Rule 4 Import Hoist Guard, and Rule 7 Zero Placeholders). When omitted, only the 256-state RM(1,3) crucible and 22/22 mutant checks run." - changed
Input schema / properties / diag_active / descriptionPrevious value: -"Active body diagonal of the Stella Octangula (`1..4`, default `2`)."New value: +"Active body diagonal of the 8-vertex Stella Octangula (`1` Fire, `2` Earth, `3` Air, or `4` Water; default `2`), assigning weight 2 to the active antipodal pair in the rational barycenter." - changed
Input schema / properties / lang / descriptionPrevious value: -"Output language code ('en', 'es', or 'ca')."New value: +"Output language for localized verification summaries ('en' English, 'es' Spanish, or 'ca' Catalan)."
- Changed
verify_sovereign_shield_merkle6 fields changed- removed
Input schema / properties / budget_BRemoved value: -{ - "default": 250, - "description": "Maximum allowed cognitive load budget `B` (`0 <= L <= B`).", - "type": "integer" -} - added
Input schema / properties / budget_bAdded value: +{ + "default": 250, + "description": "Maximum allowed cognitive load budget `B` (`1..10000`, default `250`) evaluated against current load `L` (`0 <= L <= B`).", + "maximum": 10000, + "minimum": 1, + "type": "integer" +} - changed
Input schema / properties / cost_zero_stop / descriptionPrevious value: -"Whether pause/exit carries zero penalty (`L2`)."New value: +"Whether user pause or exit carries zero penalty (`true` satisfies Law L2; `false` triggers an anti-coercion violation)." - changed
Input schema / properties / lang / descriptionPrevious value: -"Output language code ('es', 'en', or 'ca')."New value: +"Output language for localized notary and compliance reports ('en' English, 'es' Spanish, or 'ca' Catalan)." - changed
Input schema / properties / lang / enumPrevious value: -[ - "es", - "en", - "ca" -]New value: +[ + "en", + "es", + "ca" +] - changed
Input schema / properties / text / descriptionPrevious value: -"Optional text to purify under Rule 14 Three-Ring Zero-Knowledge Privacy and anchor in the RFC 6962 Merkle tree."New value: +"Optional text message to scrub for PII (emails, phones, coordinates, ISO birth dates) and anchor as a domain-separated `0x00` leaf in the RFC 6962 Merkle audit tree."
3 tool updates
- First observed
simulate_diamond_spiral_budget - First observed
verify_diamond_crucible_and_ast - First observed
verify_sovereign_shield_merkle
Related MCP Connectors
Zero-auth Cryptographic Notary & AST Verifier: Reed-Muller RM(1,3), L1..L7, RFC 6962 & ES256 JWS.
31Tamper-evident SHA-256 hash-chained decision notary for EU AI Act, NIST AI RMF & SOC2.
Attestable memory, truth, provenance. Hybrid Ed25519 + ML-DSA-65 receipts; USDC settlement on Base.
Stamp or notarize data into a public witnessed transparency log. Proves timing, not truth.
Related MCP Servers
AlicenseAqualityBmaintenanceZero-auth cryptographic notarization and PoE (Proof-of-Existence) layer on the TON Blockchain for AI outputs, smart contract audits, and agreements.41MIT- AlicenseNot gradedqualityBmaintenanceEnables agents to cryptographically verify JWT HMAC-SHA256 signatures, validate claims and enforce expiration, and perform Merkle inclusion proofs, Schnorr zero-knowledge identification, and nonce replay protection. Runs as a zero-dependency stdio MCP server so clients like Claude Desktop, Cursor, and Windsurf can attest execution state without OpenSSL or external libraries.7MIT
- AlicenseBqualityBmaintenanceThis server acts as a Portal (zero-trust Policy Enforcement Point) for AI agents. Every tool call is attested, measured against a sealed cryptographic reference, and logged to a tamper-evident continuity chain with signed receipts.15146 npmMIT
- AlicenseBqualityCmaintenanceEnables AI assistants and autonomous agents to intercept arithmetic and algebraic hallucinations via exact rational verification, seal multi-step reasoning chains with SHA-256 Merkle commitments, and optionally bridge deep verification to a remote sovereign enclave. It also supports BFT epistemic consensus across multi-agent proposals and tamper-evident session sealing.9MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.