From gaia
Routes to Gaia skills for formalizing scientific papers/texts, gaia-lang DSL reference, CLI workflows, prior assignment, and GitHub publishing.
How this skill is triggered — by the user, by Claude, or both
Slash command
/gaia:gaiaThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
Gaia Lang is a Python DSL for authoring machine-readable scientific knowledge. It compiles propositions, logical constraints, and reasoning strategies into a factor graph for inference via belief propagation.
Gaia Lang is a Python DSL for authoring machine-readable scientific knowledge. It compiles propositions, logical constraints, and reasoning strategies into a factor graph for inference via belief propagation.
If gaia-lang is not installed yet:
pip install gaia-lang
"I want to formalize a paper/textbook/report"
→ Use the formalization skill (/gaia:formalization). It guides you through a six-pass process: Extract, Connect, Check Completeness, Refine Strategy Types, Verify Structural Integrity, Polish.
"How do I write claims/strategies/operators?"
→ Use the gaia-lang skill (/gaia:gaia-lang). DSL syntax reference for all knowledge types, operators, and strategies.
"How do I compile/infer/publish?"
→ Use the gaia-cli skill (/gaia:gaia-cli). CLI commands, package structure, priors.py, and the full workflow.
"How do I assign priors?"
→ Use the review skill (/gaia:review). Covers priors.py API, prior assignment guide, and BP result interpretation.
"I need to fill narrative content for GitHub presentation"
→ Use the publish skill (/gaia:publish). Fills narrative sections in .github-output/ wiki pages, README, and React Pages generated by gaia render . --target github.
gaia init my-paper-gaia — scaffold a packageartifacts/gaia compile . + gaia check . — compile and validatepriors.py with leaf priors (see gaia-cli skill)gaia infer . — run belief propagation (add --depth 1 for joint cross-package inference)gaia render . --target github + /gaia:publish — generate and fill READMEgaia render . --target docs — generate per-module reasoning graphsgaia register . — publish to the official registryFor guided formalization of a knowledge source, use /gaia:formalization.
npx claudepluginhub siliconeinstein/gaia --plugin gaiaReference for Gaia CLI: init packages, compile DSL to IR, infer beliefs, render Mermaid graphs/docs/GitHub output, and manage knowledge packages.
Guides maintenance of Gaia SKILL.md files with standardized naming, descriptions, scopes, references, and duplication checks. Use when adding, revising, auditing, or rationalizing skills.
Provides commands for writing ML conference papers: introductions, abstracts, related work, discussions, experiments, reviews, rebuttals, references, titles, posters, slides, and social threads. Also includes experiment tracking, benchmark identification, and skill recommendation.