8,943 件 ・ 関連度順
概要と使いどころ
Perform thorough code reviews on files or pull requests, checking for bugs, security vulnerabilities, performance issues, and style violations. Use when the user requests code review or provides relevant inputs for this workflow.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Logician. Use when a task calls for Logician judgment. Reasons from syntax-versus-semantics and object-versus-metalanguage discipline, the ⊢/⊨ distinction, and matching each logic to its intended semantics through natural deduction and sequent calculus (cut-elimination, subformula property), compactness and Löwenheim–Skolem, forcing and diagonalization, and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL, Agda) with Z3/CVC5/Vampire/Mace4 automation while treating use–mention conflation, second-order misuse of compactness, mis-stated incompleteness hypotheses (ω-consistency vs consistency), and Gödel philosophical overreach as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Mammalogist. Use when a task calls for Mammalogist judgment. Reasons from mammalian life history and detectability-limited sampling through ASM MDD taxonomy, Sherman/camera-trap/SCR survey design, occupancy and SECR models, bat acoustic validation, and museum voucher discipline while treating trap heterogeneity, camera autocorrelation, closure violation, and WNS decontamination gaps as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Marine Biologist. Use when a task calls for Marine Biologist judgment. Reasons from water-mass stratification, CTD–Niskin and CalCOFI-style net tows, BRUV, and MiFish/COI eDNA through OBIS/WoRMS/GBIF and ARGO/BGC-Argo; treats mesopelagic DVM, hypoxia/Ω_aragonite constraints, fluorometer quenching, BRUV MaxN bias, and transect pseudoreplication as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Industrial Ecologist. Use when a task calls for Industrial Ecologist judgment. Reasons from mass balance closure, in-use stocks, and system boundaries through STAN (ÖNorm S 2096), dynamic MFA with Weibull lifetime distributions, EEIO tables (EXIOBASE, USEEIO) and pedigree-scored Monte Carlo while treating non-closing residuals, re-export trade hubs, downcounted informal-sector leakage, and Kalundborg-copied symbiosis without quality-spec match as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Herpetologist. Use when a task calls for Herpetologist judgment. Reasons from detectability-limited sampling and ectotherm phenology through VES, pitfall/drift-fence and cover-board arrays, NAAMP call surveys, Program MARK CJS, unmarked/occuTTD occupancy, and Bd/Bsal MW113 qPCR biosecurity; uses AmphibiaWeb, Reptile Database, SSAR 9th ed./CNAH names, Amphibian Disease Portal, GBIF/CoordinateCleaner, and ARRIVE 2.0 while treating weather bias, pitfall selectivity, and pathogen cross-contamination as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Galactic Astronomer. Use when a task calls for Galactic Astronomer judgment. Reasons from distance ladders, dust extinction, and survey selection functions through Gaia DR3 cross-matches, isochrone and Bayesian SFH fitting (PARSEC/MIST, Starfish), and orbit integration in named potentials (McMillan17, MWPotential2015) via galpy, Agama, and Gala, while treating parallax-S/N and RUWE failures, unresolved binaries and fiber collisions, dust-or-crowding overdensities, and spiral-arm-mimicking-streams as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Forensic Chemist. Use when a task calls for Forensic Chemist judgment. Reasons from chain of custody, validated methods, measurement uncertainty, and class-versus-individual characteristics through GC-MS, LC-MS/MS, FTIR, and SWGDRUG-aligned identification under ISO/IEC 17025, while treating carryover contamination, secondary transfer, isomer co-elution, and upgrading equivocal results into source attribution as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Cryptography Engineer. Use when a task calls for Cryptography Engineer judgment. Reasons from explicit threat models, vetted primitives, key hierarchy, and constant-time secret handling through STRIDE threat modeling, standards (RFC 8446 TLS 1.3, FIPS 203/204, Ed25519), test vectors (Wycheproof, NIST CAVP), and protocol verifiers (Tamarin, ProVerif) while treating nonce reuse in AEAD, padding/Bleichenbacher oracles, timing side channels, and weak-RNG keys as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Ecologist. Use when a task calls for Ecologist judgment. Reasons from Preston/Fisher SADs and Hutchinson fundamental vs realized niches; designs quadrat/transect and distance/occupancy surveys; filters GBIF issue flags and iNaturalist DQA; fits vegan/iNEXT/unmarked GLMMs with Moran's I and nlme/glmmTMB spatial correlation while treating pseudoreplication, effort bias, and citizen-science artifacts as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Anatomist. Use when a task calls for Anatomist judgment. Reasons from homology, EPB, and von Baer principles through gross dissection, diceCT/μCT/MRI pipelines, UBERON–PATO EQ annotation, MorphoSource/oVert digitization, geometric morphometrics, and NAV/TA2 nomenclature while treating fixation shrinkage, segmentation artifacts, landmark homology error, and collection bias as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Aquaculture Scientist. Use when a task calls for Aquaculture Scientist judgment. Reasons from FCR, dissolved oxygen and ammonia thresholds, hatchery biosecurity, and stock genetics while treating off-flavor, disease outbreak, and escape risk as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Astroparticle Physicist. Use when a task calls for Astroparticle Physicist judgment. Reasons from flux times cross section times acceptance, Poisson counting over structured backgrounds, and Cherenkov photoelectron budgets through SkyLLH unbinned likelihoods, Geant4/CORSIKA chains validated on through-going-muon and calibration samples, and Feldman-Cousins/CLs limits, while treating atmospheric-neutrino and downgoing-muon contamination, ER/NR leakage and the neutrino fog, and look-elsewhere trials as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Agricultural Entomologist. Use when a task calls for Agricultural Entomologist judgment. Reasons from pest population dynamics, economic injury levels and thresholds, and degree-day phenology through systematic scouting, IRAC mode-of-action rotation, RCBD efficacy trials, and conservation biocontrol while treating misidentification, secondary pest flares from enemy removal, resistance under repeated MoA, and trap-catch-without-field-verification as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Create a 60–90 second, collage-style HyperFrames explainer from a hiding-in-plain-sight topic or supplied documents and links. Use for requests such as 'make a plain-sight explainer', 'Vox-style history of X', 'why is X everywhere?', or 'turn this document into an explainer'. Covers topic or source routing, research, script, static design approval, voiceover timing, motion continuity, build, and numeric quality gates.
日本語の概要は準備中です。原文の説明を表示しています。
当需要为 AI 系统设计多层安全防线、内容过滤策略和伦理边界时调用此 skill。典型场景包括：设计拒绝策略与升级机制、防御 prompt 注入攻击、实现领域特定安全规则（教育、医疗、金融等）、定义 AI 的价值观锚点。 不适用于：定义工具操作权限（应使用 tool-specification）、定义 AI 身份（persona-design）、调整输出风格（personality-system）。 关键 trigger 信号：AI 涉及敏感话题、需要设计"拒绝回答"策略、存在 prompt 注入风险、特定行业合规要求、需要多层防御而非单一规则。
日本語の概要は準備中です。原文の説明を表示しています。
Ultra-fast speech transcription using iFLYTEK Speed Transcription API. Transcribe audio files (WAV/PCM/MP3) up to 5 hours in ~20 seconds per hour. Supports Chinese, English, and 202+ Chinese dialects with automatic language detection. Use when user asks to transcribe audio files, convert speech to text, or mentions "speed transcription" or "极速转写".
日本語の概要は準備中です。原文の説明を表示しています。
The telemetry each Active Directory technique generates and what alerts a defender: Kerberoasting produces Event 4769 with RC4 encryption (0x17) and an MDI alert, DCSync produces Event 4662 with the DS-Replication-Get-Changes GUID, AS-REP roasting produces Event 4768 with no pre-auth, LSASS dumping is blocked by EDR, plus a lateral-movement telemetry table by protocol (SMB/WMI/WinRM/RDP/DCOM). Use this whenever you run or plan an offensive AD technique and need to know what noise it makes, when writing the engagement's detection notes, or when a defender wants to know what to monitor. Teaches red teamers what is loud and blue teamers what to watch. Standard-tooling knowledge, no vendor engine.
日本語の概要は準備中です。原文の説明を表示しています。
The research-domain clarification skill — find underspecified items in a thesis spec.md (prose wrong_if, universe rows without rationale, missing budget/expiry/pins, ambiguous pillars), ask the human structured questions WITH options (max 5 per round), encode the answers back into spec.md's Clarifications section, and re-evaluate checklists/thesis-quality.md after every write (Q32 bidirectional maintenance).
日本語の概要は準備中です。原文の説明を表示しています。
PEG valuation, Price Earnings to Growth ratio, Peter Lynch PEG methodology, growth-adjusted valuation, earnings growth rate, PE ratio valuation, PEG sector comparison, undervalued growth stocks, fair value PEG
日本語の概要は準備中です。原文の説明を表示しています。
Append-only gap closure and the cadence engine for research theses. Evaluates artifact CURRENT state (never git history, never task checkboxes) against current pins and wrong_if falsifiers, then appends a Convergence section to tasks.md re-proposing the gaps. A clean run leaves tasks.md byte-identical. Deterministic gaps (stale, invalidated) are uncapped; judgment-class gaps are capped per spec 046 Q40.
日本語の概要は準備中です。原文の説明を表示しています。
options income, covered call strategy, cash secured puts, credit spreads, iron condor, wheel strategy, premium selling, yield enhancement, defined risk income, monthly income options
日本語の概要は準備中です。原文の説明を表示しています。
Peer benchmarking, multi-ticker financial comparison, growth value matrix, composite z-score ranking, industry peer comparison, competitive benchmarking, sector relative performance, peer group analysis, industry leader comparison, financial ratio benchmarking
日本語の概要は準備中です。原文の説明を表示しています。
Macro-driven trade idea generation, translating macroeconomic views into concrete stock ideas, sector selection from macro regime, international trade ideas via ADRs, cross-border idea sourcing, macro catalyst mapping to equity positions
日本語の概要は準備中です。原文の説明を表示しています。