Generate a session report with token usage estimates, work summary, and outcomes
Skills in this repository
hoanganhduc/coding-system-rebuild - Page 6
SkillsMP has collected 303 skills from hoanganhduc/coding-system-rebuild. Open a skill to review its source and details.
hoanganhduc/coding-system-rebuildShowing 40 of 303 collected skills.
Switch model profile for GSD agents (quality/balanced/budget/inherit)
Configure GSD workflow toggles and model profile
Create PR, run review, and prepare for merge after verification passes
Display project statistics — phases, plans, requirements, git metrics, and timeline
Manage persistent context threads for cross-session work
Generate UI design contract (UI-SPEC.md) for frontend phases
Retroactive 6-pillar visual audit of implemented frontend code
Safe git revert. Roll back phase or plan commits using the phase manifest with dependency checks.
Update GSD to latest version with changelog display
Retroactively audit and fill Nyquist validation gaps for a completed phase
Validate built features through conversational UAT
Manage parallel workstreams — list, create, switch, status, progress, complete, and resume
Optional inert LeanExplore MCP setup helper for Lean declaration search.
Optional local-first Lean formalization intake and suitability decision workflow.
Scanner-first Lean artifact verification gate that separates typecheck status from claim support.
Choose an appropriate model, reasoning level, and role for subagents or multi-agent research work.
External paper metadata and discovery fallback.
Structured reproducible research and workflow orchestration.
Scope nontrivial research before execution with evidence plan and workflow recommendation.
Run tracked-topic research digests.
Review draft research reports for unsupported claims, ambiguity, and evidence gaps.
Final evidence, date, and gap check before delivery.
Run and manage RSS digest workflows.
Sage-backed math, graph theory, algebra, and verification.
Log durable learnings and propose canonical repo integration plans across install targets.
Search prior local agent session logs when explicitly requested.
General web and source-gathering research workflow for current-information synthesis.
Evidence-gated journal and conference venue selection for scholarly drafts; deliverable rankings require comparator-paper evidence.
Vietnam Thu Quan ebook discovery, validation, dry-run download, and Calibre dry-run handoff.
Plan safe workspace organization with dry-run first, explicit apply, and no silent deletion.
Multi-agent discussion, review, and research orchestration.
Annotated paper review workflow when both annotation and review are requested.
Optional inert setup helper for AxiomMath AXLE MCP formal-proof assistance.
Calibre ebook lookup and library helper workflows.
Cross-agent delegation packet contract for bounded parent-controlled handoffs.
Structured public scientific, biomedical, regulatory, materials, and economic database lookups.
Phased source-preserving research workflow: search, analyze, write, with citation handoff.
Convert digest output into paper retrieval manifests.
Parse, convert, OCR, chunk, and analyze documents.