Optional inert LeanExplore MCP setup helper for Lean declaration search.
원문 언어: 영어
메뉴
이 저장소의 skills
SkillsMP는 hoanganhduc/coding-system-rebuild에서 303개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
hoanganhduc/coding-system-rebuild수집된 skill 303개 중 23개를 표시합니다.
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.
원문 언어: 영어
Single-agent paper review workflow.
원문 언어: 영어
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.
원문 언어: 영어
DeepSeek adapter that routes research requests to the Codex-backed local research skills.
원문 언어: 영어
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.
원문 언어: 영어
Structural TikZ figure generation, compile, review, and semantic checks.
원문 언어: 영어
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.
원문 언어: 영어
Use when the user wants structured information from public scientific, biomedical, regulatory, materials, or economic databases. This is a reference-first skill for selecting the right database and query strategy.
원문 언어: 영어
Use when the user wants to organize, rearrange, sort, or clean up workspace files with safe dry-run and explicit apply behavior.
원문 언어: 영어