Skip to main content
Glama
AI-BuildInfra

ProofGraph

by AI-BuildInfra
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Remote

Related Servers

Alternatives to ProofGraph

No user-submitted related servers found.

    Related Servers

    • repolens

      cognis-digital
      A
      license
      A
      quality
      C
      maintenance
      Enables LLM agents to acquire token-budgeted, deterministic context packs from repositories, with hash-chained provenance for auditability.
      2
      MIT

    • context-m

      ssmurfgg04-gif
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI agents to use a neuro-symbolic memory fabric with bi-temporal knowledge graph and holographic VSA, providing tools for adding, searching, temporal queries, auditing, and proving memories with cryptographic provenance and zero-LLM ingest.
      2
      Apache 2.0

    • CiteAnything MCP Server

      veriglow
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI agents to create verifiable, replayable citations, search private knowledge bases, and publish Markdown with verified citation markers.
      MIT

    • agent-memory-mcp

      Yarmoluk
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables persistent, graph-based memory for AI agents, allowing them to store, traverse, and recall relationships between facts, decisions, and context across sessions for efficient reasoning and reduced token usage.
      MIT

    • DocImprint

      sawftware-labs
      F
      license
      Not graded
      quality
      A
      maintenance
      Verifiable document intelligence for AI agents. Extract, summarize, claim-check, and notarize PDFs & URLs with cryptographic proofs, cross-document search, and on-chain attestation via Base L2.
      -
    Deploy Server
    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

    TDQS

    A3.7/5.0

    Scored across 12 tools

    Disambiguation4/5

    Most tools have distinct purposes, but some overlap exists: get_entity vs explain_entity both return entity profiles, and find_evidence vs get_evidence_packet both retrieve evidence though with different focus. These could cause confusion but are differentiated by description.

    Naming Consistency5/5

    All tool names follow a consistent verb_noun snake_case pattern (search_entities, get_entity, verify_claim, etc.), making the naming predictable and easy to navigate.

    Tool Count5/5

    12 tools is well-scoped for a knowledge graph and claim verification server, covering search, retrieval, verification, comparison, analysis, audit, and export without excessive bloat.

    Completeness4/5

    The tool set covers core operations (search, get, verify, trace, compare, export) and advanced features like web presence analysis and consistency auditing. Minor gaps exist, such as no explicit tool for listing all relationships for an entity, but the existing tools largely cover the domain.

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources