npx claudepluginhub siliconeinstein/gaia --plugin gaiaThis skill uses the workspace's default tool permissions.
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.
References Gaia CLI for init, compile, check, add, infer, render, register of knowledge packages. Covers Python package scaffolding, DSL compilation to IR, validation, and GitHub/docs output.
Builds and maintains an LLM-curated personal knowledge base from sources like papers, articles, transcripts, and notes. Supports ingestion, querying accumulated notes, linting, auditing, and scaling.
Automates scientific research workflows from dataset analysis to LaTeX publication using multiagent AI. Use for hypothesis generation, methodology development, experiments, literature searches, and agent orchestration.
Share bugs, ideas, or general feedback.
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.