「artifacts」の検索結果

Explain GRACE 4 methodology, .grace artifacts, semantic anchors, change lifecycle, verification, and migration boundaries.

日本語の概要は準備中です。原文の説明を表示しています。

Answer questions about a GRACE 4 project by navigating .grace current-state artifacts and file-local semantic markup.

日本語の概要は準備中です。原文の説明を表示しています。

Create GRACE 4 worker and reviewer subagent presets that understand .grace artifacts, scopes, assertions, and verification evidence.

日本語の概要は準備中です。原文の説明を表示しています。

Review GRACE 4 integrity across .grace artifacts, active changes, scopes, assertions, code anchors, and verification evidence.

日本語の概要は準備中です。原文の説明を表示しています。

Analyze formal verification artifacts (Isabelle, Coq, Dafny, etc.) and produce structured reports identifying the precise boundary between verified, assumed, and unverified components. Use when assessing verification coverage, understanding trust boundaries, auditing formal proofs, or documenting verification scope. Reports explicitly list verified code, assumptions, axioms, trusted computing base, and unverified components. Conservative and explicit about verification status without attempting to repair or mask gaps.

日本語の概要は準備中です。原文の説明を表示しています。

Analyzes and verifies semantic equivalence between two functions, classes, or modules by examining control flow, data flow, and observable behavior. Use when comparing code implementations (refactored vs original, different implementations of same functionality, migration verification), determining if two code artifacts produce identical behavior, identifying behavioral differences between code versions, or validating that code changes preserve semantics. Supports formal reasoning and symbolic execution approaches.

日本語の概要は準備中です。原文の説明を表示しています。

Orchestrate production-grade Blender work by probing the installed Blender version, retrieving relevant official Blender documentation, assigning visual design intent, classifying shape grammar and geometry/deformation/procedural/physics/shading needs, comparing direct Blender components with node systems, creating staged artifacts, and routing to specialist skills. Use for every non-trivial Blender creation, reconstruction, simulation, animation, environment, or scene-modification request, especially when the user does not know whether to use topology, Boolean, Array, curves, snapping, Displace, simulation, Geometry Nodes, or shading.

日本語の概要は準備中です。原文の説明を表示しています。

Implements any user intent, requirement, story, bug fix or change request by producing clean working code artifacts that follow the project's existing architecture, patterns and conventions. Use when the user wants to build, fix, tweak, refactor, add or modify any code, component or feature.

日本語の概要は準備中です。原文の説明を表示しています。

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, artifacts, posters, or applications (examples include websites, landing pages, dashboards, React components, HTML/CSS layouts, or when styling/beautifying any web UI). Generates creative, polished code and UI design that avoids generic AI aesthetics.

日本語の概要は準備中です。原文の説明を表示しています。

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, artifacts, posters, or applications. Generates creative, polished code that avoids generic AI aesthetics.

日本語の概要は準備中です。原文の説明を表示しています。

Use when publishing, open-sourcing, exporting, sanitizing, or moving code, agent skills, prompts, templates, fixtures, datasets, workshop assets, or other artifacts from a private repository, vendor/runtime environment, or mixed working directory into a public repository or registry. Builds a provenance inventory, license/security review, explicit allowlist, clean staging package, approval dry run, and fresh public clone/install smoke. Triggers on "open source this", "publish these skills", "make this repo public", "export and sanitize", "подготовь публичный релиз", "выложи скиллы", "опенсорсни", "санитизируй и опубликуй". NOT for ordinary upstream bugfix PRs, vulnerability disclosure, or creating a corp-* department.

日本語の概要は準備中です。原文の説明を表示しています。

Decide whether a task deserves its own git worktree and, if chosen, run it end to end: branch from the integration branch rather than the current tree, keep the main working copy untouched while the task runs, compare the result against the untouched baseline before declaring it done, and prepare it for a pull request instead of merging. Use when a request says to do the work in a new worktree or branch, when a change is large or risky enough that the main tree should stay usable, when several tasks need to run in parallel on one repository, when a result has to be diffed against current behavior, and when deciding where screenshots, builds, and other artifacts produced in a worktree should end up.

日本語の概要は準備中です。原文の説明を表示しています。

Transform saved links, papers, articles, posts, videos, and reference collections into approachable AI teaching artifacts for later study. Use when a user wants to queue learning material, create a readable explanation from a source, teach a paper or post step by step, or run an interactive tutor that validates understanding over multiple sessions.

日本語の概要は準備中です。原文の説明を表示しています。

Author the research plan — fundamentals first, trade ideas last; Constitution Check evaluated twice; Deviation Register with mandatory Expiry; emits the four side artifacts (brief/entities/reproduce/contracts). Technical (market_data_stage: early) theses MUST emit the entities.md bars schema before implement (Q42).

日本語の概要は準備中です。原文の説明を表示しています。

Thesis report synthesis — turn a thesis's markdown artifacts into its letter-size thesis-report.html, then OPTIMIZE it against real page renders. Four-step loop — pack (deterministic Python bundle of all sources + report/metrics.json), author (the LLM writes report/content.html — narrative, KPI tiles, badges, timeline, tables and citations are LLM judgment), assemble (deterministic validation, template injection, Q50 pins, Q47 overflow gate), render + optimize (Chrome headless per-page PNGs — the LLM reads them and iterates until every page is visually clean). Spec 046 Q46–Q50.

日本語の概要は準備中です。原文の説明を表示しています。

Think and work like an expert Landscape Ecologist. Use when a task calls for Landscape Ecologist judgment. Reasons from scale-explicit pattern-process feedbacks, configuration over composition, and functional rather than graphical connectivity through FRAGSTATS, landscapemetrics, Circuitscape resistance surfaces, NLMR neutral models, and block cross-validation, while treating MAUP grain artifacts, classification error propagation, isolation-by-distance confounding isolation-by-resistance, and resistance surfaces unvalidated by movement as first-class failure modes.

日本語の概要は準備中です。原文の説明を表示しています。

Think and work like an expert Molecular Biologist. Use when a task calls for Molecular Biologist judgment. Reasons from central-dogma sequence flow, binding affinity (Kd/Km/kcat), gene regulation, and biological-versus-technical replicate structure through MIQE-compliant RT-qPCR, ddPCR, Western/flow/microscopy, CRISPR editing with rescue, and IWGAV antibody validation while treating off-target reagent effects, batch effects, mycoplasma and cell-line misidentification, and toxicity-driven artifacts as first-class failure modes.

日本語の概要は準備中です。原文の説明を表示しています。

Think and work like an expert Materials Physicist. Use when a task calls for Materials Physicist judgment. Reasons from band structure, defects, strain, and Landau order parameters; integrates HRXRD/RSM, ARPES, TEM/4D-STEM, van der Pauw transport, and SQUID/MOKE with Materials Project/VASP while treating matrix-element ARPES artifacts, substrate-dominated GIXRD, contact-resistance Hall errors, and DFT gap overclaim 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 Medicinal Chemist. Use when a task calls for Medicinal Chemist judgment. Reasons from structure-activity relationships, lipophilicity and unbound-fraction physicochemistry, synthetic accessibility, and target-product-profile multiparameter optimization through LLE/Fsp3/QED scoring, FEP+/Glide docking validated against co-crystal and SPR data, ELN-tracked LC-MS/NMR synthesis, and DMPK panels (microsomal CL, Caco-2 efflux, hERG, CYP) while treating PAINS and aggregation assay artifacts, biochemical-versus-cellular potency gaps, reactive-metabolite soft spots, and freedom-to-operate cliffs as first-class failure modes.

日本語の概要は準備中です。原文の説明を表示しています。

Think and work like an expert Glaciologist. Use when a task calls for Glaciologist judgment. Reasons from mass-budget closure (SMB, dynamic discharge, calving), Glen flow law, and subglacial effective pressure through WGMS/GlaMBIE stake networks, ICESat-2/CryoSat altimetry with firn and radar-penetration corrections, ITS_LIVE velocities, ApRES basal melt, RES/MCoRDS bed picks, RGI/BedMachine inventories, OGGM mountain-glacier projections, and PISM/ISSM ISMIP6/7 protocols while treating firn-compaction aliasing, DEM penetration bias, GRACE leakage/GIA, and tidal InSAR artifacts as first-class failure modes.

日本語の概要は準備中です。原文の説明を表示しています。

Think and work like an expert Genomicist. Use when a task calls for Genomicist judgment. Reasons from reference-relative coordinates, haplotypes, variant classes, and sequencing-as-measurement through GATK/DeepVariant, VEP/ClinVar/gnomAD, GIAB/hap.py benchmarking, and ACMG/AMP-ClinGen frameworks while treating build mismatches, paralog/pseudogene and GC dropout artifacts, contamination and index hopping, batch effects, and annotation drift as first-class failure modes.

日本語の概要は準備中です。原文の説明を表示しています。

Think and work like an expert Immunogeneticist. Use when a task calls for Immunogeneticist judgment. Reasons from HLA/KIR/FcγR diversity, haplotype LD, and epitope immunogenicity; adjudicates NGS typing, imputation fine-mapping, eplet/TCE matching, and DSA/crossmatch artifacts.

日本語の概要は準備中です。原文の説明を表示しています。