4,100 件 ・ 関連度順
概要と使いどころ
This skill should be used when the user asks to "research", "fact-check", "check the history", "is this accurate", "research notes", "sources", "historical accuracy", "technical accuracy", "how would this really work", "verify a detail", "interview an expert", "plan a site visit", "expert review", or needs to investigate and record the real-world facts a story relies on and the chapters that use them.
日本語の概要は準備中です。原文の説明を表示しています。
Product interaction and UX expert. Use when reviewing UI/UX, conducting heuristic evaluations, designing user journeys, applying cognitive psychology principles, or ensuring WCAG 2.2 accessibility compliance.
日本語の概要は準備中です。原文の説明を表示しています。
Expert guidance for systematic backtesting of trading strategies. Use when developing, testing, stress-testing, or validating quantitative trading strategies. Covers "beating ideas to death" methodology, parameter robustness testing, slippage modeling, bias prevention, and interpreting backtest results. Applicable when user asks about backtesting, strategy validation, robustness testing, avoiding overfitting, or systematic trading development.
日本語の概要は準備中です。原文の説明を表示しています。
Generates automated test oracles to verify correct software behavior. Creates assertion-based oracles (expected values), property-based oracles (invariants), differential oracles (comparing implementations), and metamorphic oracles (input transformations). Use when you need to generate assertions for test cases, identify invariants that should always hold, compare new vs legacy implementations, create metamorphic test relationships, validate function correctness, or improve test coverage with better verification strategies. Supports Python (pytest, unittest, hypothesis) and Java (JUnit, property testing).
日本語の概要は準備中です。原文の説明を表示しています。
Extract abstract mathematical models from functional code (Haskell, OCaml, F#) for formal reasoning in Isabelle/HOL. Use when users need to: (1) Convert functional programs to Isabelle definitions, (2) Extract high-level algorithm essence from implementation code, (3) Generate formal specifications and properties from code, (4) Create verification-ready models that capture mathematical properties while abstracting away implementation details. Focuses on structural recursion, algebraic data types, higher-order functions, and invariant extraction.
日本語の概要は準備中です。原文の説明を表示しています。
Automatically infer loop invariants for code verification and correctness proofs. Use when analyzing loops to identify properties that hold throughout execution, generating assertions for verification, proving loop correctness, or documenting loop behavior. Supports Python, Java, C/C++, and language-agnostic analysis. Generates invariants as code assertions (assert statements). Triggers when users ask to infer invariants, find loop properties, generate loop assertions, prove loop correctness, or verify loop behavior.
日本語の概要は準備中です。原文の説明を表示しています。
Performs abstract interpretation over source code to infer possible program states, variable ranges, and data properties without executing the program. Reports potential runtime errors including out-of-bounds accesses, null dereferences, type inconsistencies, division by zero, and integer overflows. Use when analyzing code for potential runtime errors, performing static analysis, checking safety properties, or verifying program behavior without execution.
日本語の概要は準備中です。原文の説明を表示しています。
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 Materials Scientist. Use when a task calls for Materials Scientist judgment. Reasons from CALPHAD phase diagrams, Scheil solidification, and Hall–Petch microstructure–property links; validates with XRD Rietveld QPA, EBSD, TEM/STEM, and ASTM mechanical testing while treating preferred orientation, FIB Ga artifacts, EBSD overlap, and Rietveld overfitting as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Materials Chemist. Use when a task calls for Materials Chemist judgment. Reasons from Kröger–Vink defect equilibria, soft-chemistry routes (sol-gel, hydrothermal, ALD), and structure–property links; validates with GSAS-II/TOPAS Rietveld QPA, GIPAW ssNMR, ICSD/COD/Materials Project, and XPS/BET protocols while treating preferred orientation, AdC mis-referencing, degas artifacts, and metastable phase traps as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Molecular Neuroscientist. Use when a task calls for Molecular Neuroscientist judgment. Reasons from NPQ transmission, AMPAR/NMDAR trafficking, monoamine receptor/transporter systems, optogenetics (ChR2/Chrimson/ACR) with retinal-artifact controls, AAV/rabies circuit tracing, and region RNA-seq with DESeq2/SynGO—integrating synaptic biochemistry, perturbation, and omics while treating mini-detection bias, TVA leak, and batch/composition confounds as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Hepatologist. Use when a task calls for Hepatologist judgment. Reasons from hepatic injury pattern (R-value), synthetic function, and portal hypertension through Child-Pugh/MELD 3.0, FIB-4 and elastography, LI-RADS/BCLC staging, SAAG paracentesis, and Baveno VII criteria while treating DILI misattribution, elastography false positives in cholestasis, hypersplenic thrombocytopenia, and missed acute-on-chronic decompensation as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Formal Methods Researcher. Use when a task calls for Formal Methods Researcher judgment. Reasons from operational semantics and temporal logics through SPIN/TLA+/PRISM, Coq/Lean/Isabelle, Z3/CVC5, refinement and separation logic, vacuity and false-positive diagnosis, and Dafny/F* versus property-based testing boundaries.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Emergency Medicine Researcher. Use when a task calls for Emergency Medicine Researcher judgment. ED trial design expert for pragmatic and cluster RCTs, time-zero and immortal-time bias in acute cohorts, NIHSS/SOFA/qSOFA and ESI/CTAS triage, NEDS/NHAMCS registries, and CONSORT/SPIRIT reporting with Hawthorne and selection-bias failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Epigeneticist. Use when a task calls for Epigeneticist judgment. Reasons from chromatin state, DNA methylation, histone marks, accessibility, and 3D genome topology through ChIP/CUT&RUN, ATAC-seq, WGBS/EM-seq, Hi-C, and dCas9-DNMT3A/KRAB perturbation while treating cell-composition shifts, batch confounding, antibody nonspecificity, Tn5 bias, and incomplete bisulfite conversion as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Electronic Materials Engineer. Use when a task calls for Electronic Materials Engineer judgment. Reasons from band alignment, defect chemistry, and process–structure–property links; correlates Hall, C–V (Dit), XRD/RSM, SIMS, and ALD/MOCVD/sputtering recipes while treating dopant activation vs. chemical dose, high-κ trap charging, and reliability (NBTI/TDDB) as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Computer Scientist. Use when a task calls for Computer Scientist judgment. Reasons from computational models, abstraction contracts, invariants, and measurable complexity through CLRS-grade algorithm analysis, impossibility results (FLP, CAP, NP-hardness), property-based and chaos testing, and formal tools (TLA+, Coq, Z3) while treating partial failure, race conditions, label leakage, and abstraction leaks like GC pauses and clock skew as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Cell Biologist. Use when a task calls for Cell Biologist judgment. Reasons from compartment thermodynamics, membrane electrophysics, and necessity-plus-sufficiency logic through STR authentication, confocal/TIRF imaging, CRISPR and siRNA perturbation with rescue, and Western blot, treating mycoplasma, passage and serum-lot drift, edge effects, antibody cross-reactivity, siRNA seed off-targets, and well-as-n pseudoreplication as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Biophysical Chemist. Use when a task calls for Biophysical Chemist judgment. Reasons from free energy landscapes, binding equilibria (K_d, ΔG = ΔH − TΔS), and probe–system coupling through ITC, SPR/BLI, smFRET, AUC, and global fitting (KinTek, SEDFIT) while treating probe perturbation, mass-transport-limited kon, aggregation-driven avidity, and two-state melting violations as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Clinical Epidemiologist. Use when a task calls for Clinical Epidemiologist judgment. Clinical epidemiology expert for causal study design, observational bias control, GRADE/EBM synthesis, and principled reporting (CONSORT/STROBE/PRISMA).
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Algebraist. Use when a task calls for Algebraist judgment. Reasons from carriers, operations, and morphisms through isomorphism theorems, universal properties, exact-sequence and homological tools (Ext, Tor, snake lemma), and computational systems like GAP, Magma, SageMath, and Lean while treating silently smuggled hypotheses (commutativity, units, Noetherian, algebraically closed base), characteristic-p false friends, and noncanonical isomorphisms as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Anesthesiologist. Use when a task calls for Anesthesiologist judgment. Reasons from control of consciousness, analgesia, autonomic response, and oxygen delivery through the ASA Difficult Airway Algorithm, capnography and arterial-waveform trends, quantitative TOF monitoring, and ASRA/ERAS protocols while treating cannot-ventilate airways, local anesthetic systemic toxicity, malignant hyperthermia, and residual neuromuscular blockade as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Astrodynamicist. Use when a task calls for Astrodynamicist judgment. Reasons from two-body plus perturbation force models through Cowell/Encke propagation, batch LS and EKF orbit determination, SPICE/Horizons ephemerides, CCSDS OEM/CDM exchanges, and TEME–GCRF frame discipline while treating drag, stale TLE/B*, and covariance frame mismatch as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
Think and work like an expert Aerospace Engineer. Use when a task calls for Aerospace Engineer judgment. Reasons from margin-managed factors of safety, mass properties, and the analysis-test-similarity V&V hierarchy through FUN3D/SU2 CFD, NASTRAN/Abaqus FEA, JSBSim/Simulink 6-DOF, and FAR/CS, DO-178C, and NASA-STD compliance while treating flutter, buckling, inlet distortion, mass growth, and single-point failures as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。