gaia-formalize-coarse

What problem does it solve?

Gaia formalizes scientific arguments from a single academic paper into an explicit, reviewable Gaia knowledge package that can compile and run probabilistic belief updates.

Core Features & Use Cases

• Single-paper, four-phase formalization: extract motivation, conclusions, open questions, and a cross-conclusion logic graph; reconstruct each conclusion’s reasoning chain; audit weak points, highlight strengths, and calibrate leaf priors; then emit a standalone Gaia DSL package.
• Suitability gate for unreliable inputs: skips review/survey/perspective papers or corrupted/truncated/abstract-only text and writes a concise skip report instead of inventing contributions.
• Optional LKM reverse-provenance cross-grounding: audits how the paper’s claims align with LKM’s existing knowledge graph (best-effort, non-blocking).

Quick Start

Use the skill to take a single Markdown (or readable text) paper file and produce a standalone <name>-gaia/ package directory that the caller can compile and run with Gaia.