Skip to main content
Glama
hardwork-xu

contextproof

by hardwork-xu

Related Servers

Alternatives to contextproof

No user-submitted related servers found.

    Related Servers

    • A
      license
      Not graded
      quality
      B
      maintenance
      Provides local static-analysis tools for Python that let coding agents trace call paths, branch guards, side effects, and change impact, producing citation-ready answers with explicit uncertainty signals.
      2
      MIT
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables coding agents to query a parsed graph of a repository and to recall what earlier sessions learned about it, both stored in FalkorDB behind one traversal. It exposes eight MCP tools over stdio for locating symbols, tracing calls and impact paths, and writing or recalling user- and repo-scoped facts, procedures, and handoffs.
      126,812 npm
      MIT
    • F
      license
      Not graded
      quality
      A
      maintenance
      Enables coding agents to coordinate profilers, benchmark tools, trace processors, and direct local targets so that explicit artifacts or commands become bounded runtime evidence with recorded provenance, coverage, and limitations. Its analysis and capture tools require no workspace setup, and durable evidence preservation remains optional.
      -
    • F
      license
      Not graded
      quality
      A
      maintenance
      Enables coding agents to trace, profile, and burn down hotspots in application and native code, GPU kernels, and inference stacks by turning explicit local artifacts or commands into bounded, provenance-typed runtime evidence. Exposes named analysis and capture tools over stdio with optional durable preservation, without requiring workspace setup or project configuration.
      -
    • A
      license
      Not graded
      quality
      B
      maintenance
      Exposes code-review and issue-triage tools to AI assistants over stdio, letting them evaluate unified pull-request diffs for maintainer remarks, slice diffs into categorized AST hunks, and classify GitHub issues by priority while synthesizing minimal reproduction stubs.
      1
      Apache 2.0