Profiles

A profile is a named bundle of skills. Profiles are the easiest way to install a coherent workflow without listing every skill manually. The default profile is research-core; full-research is the broadest curated research bundle. complete-restore uses a wildcard so it expands to every current or future skill declared by the pinned repo revision.

Profiles do not automatically install optional artifacts. Add --artifact-profile ... when you also want templates, personas, entrypoint aliases, or management notices.

Common commands:

make precheck ARGS="--profile research-core"
make plan ARGS="--profile research-core"
make install ARGS="--profile research-core --dry-run"
make plan ARGS="--profile library --artifact-profile research-entrypoints --with-deps"
make plan ARGS="--agents codex,claude,deepseek,copilot,opencode,antigravity,grok,kimi --profile complete-restore --artifact-profile workflow-artifacts --runtime-profile full --require-all-requested-agents"

The complete-restore target list deliberately excludes OpenClaw. Real OpenClaw restoration is delegated to the separately reviewed OpenClaw component and manifest flow.

Profile	Description	Skills
`complete-restore`	Every skill declared by this pinned repository revision for closure-complete restoration of supported non-OpenClaw targets.	`*`
`course-management`	Course management toolkit skills: Classroom50, Canvas, Google Classroom, and local student DB agents.	`classroom50`, `course-canvas`, `course-google-classroom`, `course-db`
`digest`	Tracked-topic and RSS digest workflows.	`research-digest-wrapper`, `rss-news-digest`, `digest-bridge`
`document`	Document conversion and structured database lookup.	`docling`, `database-lookup`
`ebook`	Ebook discovery and library handoff.	`calibre`, `vnthuquan`
`figure`	Structural figure generation and checking.	`tikz-draw`
`formal-research`	Optional Lean formalization lane with local checks and declaration-search setup.	`formal-skeleton-helper`, `lean-formalization-intake`, `lean-research-library`, `lean-explore-mcp`, `lean-strict-verification-gate`, `opengauss`
`formal-research-remote`	Optional remote formal lane setup for LeanExplore and AXLE MCP plus local formal-lane skills; install is inert and does not start remote services.	`formal-skeleton-helper`, `lean-formalization-intake`, `lean-research-library`, `lean-explore-mcp`, `lean-strict-verification-gate`, `axiom-axle-mcp`, `opengauss`
`full-research`	All research-related skills.	`autonomous-research-loop`, `autonomous-research-loop-runtime`, `deep-research-workflow`, `source-research`, `research-briefing`, `research-report-reviewer`, `research-verification-gate`, `draft-writing`, `zotero`, `calibre`, `getscipapers-requester`, `paper-lookup`, `submission-venue-selector`, `venue-ranking-evidence`, `database-lookup`, `docling`, `get-available-resources`, `formal-skeleton-helper`, `lean-formalization-intake`, `lean-research-library`, `lean-explore-mcp`, `lean-strict-verification-gate`, `axiom-axle-mcp`, `opengauss`, `model-router`, `workspace-rearranger`, `research-digest-wrapper`, `rss-news-digest`, `digest-bridge`, `tikz-draw`, `sagemath`, `graph-verifier`, `agent-group-discuss`, `prose`, `cross-agent-delegation`, `modal-research-compute`, `hetzner-research-compute`, `kaggle-research-compute`, `paper-review`, `annotated-review`, `vnthuquan`, `self-improving-agent`, `session-logs`, `intent-interview`, `decision-doubt-loop`, `source-grounded-decisions`, `adversarial-boundary-gate`, `behavior-preserving-cleanup`, `slides-to-video`, `manim-math-animation`, `url-to-screenshot`, `url-to-screenshot-runtime`
`library`	Paper and ebook library workflows.	`zotero`, `calibre`, `getscipapers-requester`, `paper-lookup`
`math`	Math and graph verification workflows.	`sagemath`, `graph-verifier`, `formal-skeleton-helper`
`media`	Narrated, captioned presentation and lecture videos from prepared slides, with optional Manim math animation.	`slides-to-video`, `manim-math-animation`, `url-to-screenshot`, `url-to-screenshot-runtime`
`multi-agent`	Multi-agent and structured workflow orchestration.	`agent-group-discuss`, `prose`, `model-router`, `cross-agent-delegation`, `autonomous-research-loop`, `autonomous-research-loop-runtime`, `decision-doubt-loop`
`research-core`	Default research planning, source gathering, report review, and delivery verification.	`research-briefing`, `autonomous-research-loop`, `autonomous-research-loop-runtime`, `deep-research-workflow`, `source-research`, `research-report-reviewer`, `research-verification-gate`, `intent-interview`
`serious-research`	Source-preserving research workflow with local libraries, document parsing, validation, multi-agent orchestration, and Lean skeleton support only; use formal-research for Lean verification.	`research-briefing`, `autonomous-research-loop`, `autonomous-research-loop-runtime`, `deep-research-workflow`, `source-research`, `research-report-reviewer`, `research-verification-gate`, `zotero`, `calibre`, `getscipapers-requester`, `paper-lookup`, `submission-venue-selector`, `venue-ranking-evidence`, `docling`, `database-lookup`, `paper-review`, `agent-group-discuss`, `prose`, `model-router`, `cross-agent-delegation`, `get-available-resources`, `formal-skeleton-helper`, `workspace-rearranger`, `intent-interview`, `decision-doubt-loop`, `source-grounded-decisions`, `adversarial-boundary-gate`, `behavior-preserving-cleanup`
`workflow-tools`	Reusable planning helpers for resources, model routing, formal skeletons, and workspace organization.	`autonomous-research-loop`, `autonomous-research-loop-runtime`, `get-available-resources`, `model-router`, `formal-skeleton-helper`, `workspace-rearranger`
`writing-workflow`	Claim-preserving draft writing, rewriting, and revision-audit workflow.	`draft-writing`

Related pages: Skills, Optional Artifacts, Dependencies, Installation.