직업 분류
기술 작가
설명
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수집된 skill 303개 중 40개를 표시합니다.
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.
원문 언어: 영어
업데이트
수집된 skill 303개 중 40개를 표시합니다.