Skip to main content
Glama

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.

Ownership verified
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

A4.3/5.0

Scored across 3 tools

Disambiguation4/5

The three tools target genuinely different objects — cost/call estimation, Python+RM(1,3) code auditing, and Merkle/PII notarization — and each description explicitly redirects to the other two, which strongly reduces misselection. The only residual friction is that two tools share the 'verify_' verb and each bundles several sub-capabilities (e.g., code audit plus ES256 attestation), so an agent asking a generic 'verify this' question must read carefully.

Naming Consistency4/5

All names are snake_case with a clean verb_noun structure (simulate_..., verify_..., verify_...), so the pattern is predictable. The deviation is stylistic rather than structural: the noun phrases are heavily branded jargon ('diamond_spiral', 'diamond_crucible', 'sovereign_shield_merkle') that conveys little about the underlying action without reading the description.

Tool Count3/5

Three tools is on the thin side for a server covering budgeting, code auditing, cryptographic attestation, Merkle notarization, PII purification, and economics. Each tool is doing a lot of bundled work, which pushes the surface toward borderline under-scoped rather than well-scoped.

Completeness3/5

Core pillars (cost estimation, crucible/AST verification, Merkle notarization with PII stripping) are covered, but the lifecycle has gaps: there is no tool to actually launch or advance the multi-agent spiral (only simulate its budget), no standalone signature/JWS verification or Merkle inclusion-proof check for externally supplied data, and no way to retrieve prior attestations. Agents can work around some of this by re-running tools, but not all.

Available Tools

3 tools
simulate_diamond_spiral_budgetA
Read-onlyIdempotent
Inspect

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.

NameRequiredDescriptionDefault
langNoOutput language for localized vertex and budget breakdowns ('en' English, 'es' Spanish, or 'ca' Catalan).en
tierNoModel pricing tier ('supreme' for gemini-4-argon Deep Think or 'flash' for high-speed gemini-3.8-flash).supreme
roundsNoNumber 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

NameRequiredDescription
langNo
budgetYes
oracleNo
statusYes
equationNo
verticesYes

TDQS

A4.8/5.0
Behavior5/5

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.

Conciseness4/5

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.

Completeness5/5

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.

Parameters4/5

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.

Purpose5/5

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.

Usage Guidelines5/5

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_astA
Read-onlyIdempotent
Inspect

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.

NameRequiredDescriptionDefault
langNoOutput language for localized verification summaries ('en' English, 'es' Spanish, or 'ca' Catalan).en
diag_activeNoActive 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_markdownNoOptional 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

NameRequiredDescription
langNo
oracleNo
statusYes
equationNo
crucible_proofYes
cryptographic_attestation_es256Yes

TDQS

A4.6/5.0
Behavior5/5

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.

Conciseness4/5

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.

Completeness5/5

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.

Parameters3/5

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.

Purpose5/5

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.

Usage Guidelines5/5

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_merkleA
Read-onlyIdempotent
Inspect

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.

NameRequiredDescriptionDefault
langNoOutput language for localized notary and compliance reports ('en' English, 'es' Spanish, or 'ca' Catalan).en
textNoOptional 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_bNoMaximum allowed cognitive load budget `B` (`1..10000`, default `250`) evaluated against current load `L` (`0 <= L <= B`).
cost_zero_stopNoWhether user pause or exit carries zero penalty (`true` satisfies Law L2; `false` triggers an anti-coercion violation).

Output Schema

NameRequiredDescription
beaconYes
oracleNo
equationNo
pillar_i_rfc6962_merkle_transparencyYes
pillar_ii_rule14_three_ring_zk_and_receiptYes
pillar_iii_cognitive_sovereignty_laws_L1_to_L7Yes
pillar_iv_persephone_exact_rational_solidarityYes

TDQS

A4.5/5.0
Behavior4/5

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.

Conciseness3/5

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.

Completeness5/5

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.

Parameters4/5

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.

Purpose5/5

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.

Usage Guidelines5/5

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.

  1. 3 tool updates
    • Changedsimulate_diamond_spiral_budget4 fields changed
      • changedInput schema / properties / lang / description
        Previous 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)."
      • changedInput schema / properties / lang / enum
        Previous value: -[
        -  "ca",
        -  "es",
        -  "en"
        -]New value: +[
        +  "en",
        +  "es",
        +  "ca"
        +]
      • changedInput schema / properties / rounds / description
        Previous 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)."
      • changedInput schema / properties / tier / description
        Previous 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)."
    • Changedverify_diamond_crucible_and_ast3 fields changed
      • changedInput schema / properties / code_markdown / description
        Previous 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."
      • changedInput schema / properties / diag_active / description
        Previous 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."
      • changedInput schema / properties / lang / description
        Previous value: -"Output language code ('en', 'es', or 'ca')."New value: +"Output language for localized verification summaries ('en' English, 'es' Spanish, or 'ca' Catalan)."
    • Changedverify_sovereign_shield_merkle6 fields changed
      • removedInput schema / properties / budget_B
        Removed value: -{
        -  "default": 250,
        -  "description": "Maximum allowed cognitive load budget `B` (`0 <= L <= B`).",
        -  "type": "integer"
        -}
      • addedInput schema / properties / budget_b
        Added 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"
        +}
      • changedInput schema / properties / cost_zero_stop / description
        Previous 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)."
      • changedInput schema / properties / lang / description
        Previous 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)."
      • changedInput schema / properties / lang / enum
        Previous value: -[
        -  "es",
        -  "en",
        -  "ca"
        -]New value: +[
        +  "en",
        +  "es",
        +  "ca"
        +]
      • changedInput schema / properties / text / description
        Previous 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."
  2. 3 tool updates
    • First observedsimulate_diamond_spiral_budget
    • First observedverify_diamond_crucible_and_ast
    • First observedverify_sovereign_shield_merkle

Related MCP Connectors

Related MCP Servers

  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables 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.
    7
    MIT
  • A
    license
    B
    quality
    B
    maintenance
    This 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.
    15
    146 npm
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    Enables 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.
    9
    MIT
Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.