Searching protocol for "artifact-link"
Export your knowledge model to Markdown.
Keep artifact links intact and current.
Automates structured technical docs with context.
Catch plan issues before execution.
Guard system integrity and invariants.
Plan, specify, implement features with Speckit.
Automate Lean 4 proof implementation tasks.
Turn plans into actionable tasks quickly.
Delegate Neovim work to a subagent.
Atomically sync task status across TODO and state.
Bridge planning to implementation with ADRs.
Publish and manage research papers on HF.