gaia-formalize-coarse

gaia-formalize-coarse is a Research reports & synthesis skill for AI agents, published by SiliconEinstein in the Gaia repository on GitHub. Skillspace rates gaia-formalize-coarse D (58/100) and it passed the safety scan; the rating is based on static analysis only.

Use for a quick, single-paper formalization into a Gaia knowledge package: read one academic paper (Markdown preferred; plain-text or other readable formats also accepted) and emit a standalone `<name>-gaia/` package. Runs a four-phase analytical workflow (Phase 1 extract conclusions / motivation / open questions / cross-conclusion logic graph; Phase 2 reconstruct each conclusion's reasoning chain; Phase 3 audit weak points and highlights, calibrate leaf priors; Phase 4 emit Gaia DSL package files), gated by an upfront suitability check (skip review/survey/perspective papers and corrupted paper text). Surfaces 9 argument-pattern weak-point types (`measurement`, `causal`, `model`, `statistical`, `generalization`, `comparative`, `formal`, `computational`, `external`). Cross-grounds the paper against LKM's existing knowledge graph in Phase 1b via `gaia search lkm knowledge`, filtering on `provenance.source_packages` and verifying reasoning-chain closure via `gaia search lkm reasoning…

Grade

D

Quality

58 / 100

Safety

Passed

GitHub stars

31

Unproven: rated by static analysis only, not yet compared head-to-head.

Our two independent classifiers differ on this skill's category, so treat the placement as provisional.

This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.

Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.