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

    • genpark-enterprise-knowledge

      Alpha-Park
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables agents to ground claims in enterprise knowledge by hashing source chunks, tracing claims back to their origins, validating clearance boundaries, and maintaining audit trails to support anti-hallucination workflows.
      7
      MIT

    • 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
    Deploy Server
    Context All Your Agents Can ShareAgents share what they learn, hand off work, and hold it when you switch models. Start with 5 GB free.fulcradynamics.comAd

    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