职业分类
技术写作员
描述
Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.
原文语言：英语
更新
这个仓库中的 skills
hoanganhduc/coding-system-rebuild - 第 7 页
SkillsMP 已收集 hoanganhduc/coding-system-rebuild 中的 303 个 Skill。打开任一 Skill 可查看来源和详情。
hoanganhduc/coding-system-rebuild已展示 40 / 303 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
软件开发工程师
描述
Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.
原文语言：英语
更新
职业分类
网络与计算机系统管理员
描述
Detect CPU, memory, disk, and optional accelerator availability before heavy local work.
原文语言：英语
更新
职业分类
其他高等院校教师
描述
External paper retrieval fallback after local library checks.
原文语言：英语
更新
职业分类
软件开发工程师
描述
Lightweight graph sanity checks.
原文语言：英语
更新
职业分类
其他计算机职业
描述
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.
原文语言：英语
更新
职业分类
市场调研分析师与营销专员
描述
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.
原文语言：英语
更新
职业分类
其他高等院校教师
描述
Zotero paper search, retrieval, ingest, and collection workflow.
原文语言：英语
更新
职业分类
其他计算机职业
描述
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.
原文语言：英语
更新
职业分类
技术写作员
描述
Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.
原文语言：英语
更新
职业分类
软件开发工程师
描述
Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.
原文语言：英语
更新
职业分类
网络与计算机系统管理员
描述
Detect CPU, memory, disk, and optional accelerator availability before heavy local work.
原文语言：英语
更新
职业分类
其他高等院校教师
描述
External paper retrieval fallback after local library checks.
原文语言：英语
更新
职业分类
软件开发工程师
描述
Lightweight graph sanity checks.
原文语言：英语
更新
已展示 40 / 303 个已收集 Skill。