gaia-evidence-subgraph

Generate auditable evidence graphs from Gaia LKM root claims.

32|9|Updated Mar 2, 2026
One-click install
npx skills add https://github.com/SiliconEinstein/Gaia --skill gaia-evidence-subgraph
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: gaia-evidence-subgraph
Source: https://github.com/SiliconEinstein/Gaia/tree/main/gaia/_skills/gaia-evidence-subgraph
Command: npx skills add https://github.com/SiliconEinstein/Gaia --skill gaia-evidence-subgraph

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill converts a single quantitative root claim (from Gaia LKM reasoning) into an auditable methodological-decomposition evidence graph, making the closure of a result explicit and reviewable.

Core Features & Use Cases

  • Chain-bounded evidence mapping: Builds a graph only from LKM-returned premises and steps, with no synthetic bridging.
  • Method-to-output anatomy: Renders observational/experimental anchors, theoretical/computational inputs, parameter choices, derivation/inversion/fitting steps, and the root result.
  • Three-class edge taxonomy: Labels edges as chain support, background, or verification support to clarify how each element contributes.
  • Publication-ready outputs: Produces structured artifacts (JSON), renderable sources (DOT/Mermaid), and raster images plus verbatim raw payloads under raw/ for auditability.

Quick Start

Use gaia-evidence-subgraph to generate an evidence closure-chain map for claim id 1234 by providing the LKM raw-json payload from gaia search lkm reasoning --claim-id 1234 --format raw-json.

Frequently Asked Questions about gaia-evidence-subgraph

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I turn a scientific reasoning claim into an auditable evidence graph?

To turn a scientific reasoning claim into an auditable evidence graph, you provide a raw-json LKM payload to generate a methodological-decomposition map. This maps premises, factors, and derivation steps to a closure-chain representation of your quantitative result.

What is Bayesian closure in a chain-of-evidence graph?

Bayesian closure in a chain-of-evidence graph makes the explicit reasoning path from observational anchors and modeling inputs to a final quantitative result reviewable. It ensures every derivation step maps directly to the root claim without synthetic bridging.

How do I generate a factor graph from a raw-json LKM payload?

You generate a factor graph from a raw-json LKM payload by executing the Skill with the output from your claim search. It constructs a chain-bounded graph using only the returned premises and steps, categorizing edges as chain support, background, or verification support.

Can I export the evidence graph to DOT or Mermaid formats?

Yes, you can export the evidence graph to DOT or Mermaid formats. The Skill produces publication-ready structured artifacts, renderable sources, raster images, and verbatim raw payloads to ensure full traceability and auditability of the reasoning steps.

What limitations exist when mapping a chain-of-evidence for a computed quantity?

A key limitation when mapping a chain-of-evidence is strict chain-bounded construction, meaning the graph only includes nodes and edges from the provided LKM payload. It does not generate synthetic bridging or add external factors to the reasoning steps.

Does this evidence graph tool work for domain-agnostic technical reasoning?

Yes, this evidence graph tool works for domain-agnostic scientific or technical reasoning. You can review how any measured or computed quantity is produced by mapping observational anchors, parameter choices, and derivation steps from the raw payload.