Skip to main content
Glama
Sign In
hermetic-ai

hermetic-ai

by Ramz369
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python

Related Servers

Alternatives to hermetic-ai

No user-submitted related servers found.

    Related Servers

    • zeroH MCP

      khurramcr7
      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

    • LATS MCP Server

      slapglif
      F
      license
      Not graded
      quality
      D
      maintenance
      Enables systematic code investigation using Monte Carlo Tree Search to explore codebases, analyze files, and provide intelligent insights. It features persistent memory and pattern learning for improved investigations.
      -

    • Vestige

      engr-rabbi
      A
      license
      A
      quality
      C
      maintenance
      Enables compatible AI coding agents to inspect authorized software artifacts, analyze JavaScript/TypeScript and native binaries, optionally perform Ghidra decompilation, and produce verifiable evidence-linked technical reports.
      11
      MIT

    • gwaya

      xaviercallens
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding agents to discover toolchain availability, audit code for stubs, perform fail-closed verification with real compilers and sandboxed tests, and run Qwen-based repair loops before executing or presenting code.
      MIT

    • hunch

      davesheffer
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding agents to access evidence-backed repository memory, code graph, project DNA, and deterministic change validation so they understand design decisions, past bugs, and invariants while working.
      1,169 npm
      13
      Functional Source , Version 1.1, ALv2 Future

    • Elenchus MCP Server

      jhlee0409
      A
      license
      A
      quality
      C
      maintenance
      An adversarial code verification system that uses a Verifier-Critic debate loop to systematically uncover security, correctness, and performance issues. It implements the Socratic method to provide deep semantic analysis and dialectical reasoning beyond traditional static linting.
      36
      18 npm
      5
      MIT

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Resources