「property」の検索結果

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 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 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 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.

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

Use this skill for provider-independent reality capture that turns photographed or video-derived real places, objects, aerial sites, interiors, or people into photogrammetric meshes, NeRFs, or 3D Gaussian splats. It guides representation choice, capture planning, calibration and scale, reconstruction or training, cleanup, compression and LOD, coordinate and interchange handoff, visual/geometric QA, archival records, and property, location, people, and cultural rights checks. Do not use it for text-to-3D generation, synthetic asset invention, guaranteed metrology, or broad downstream finishing after handoff.

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

CustomShader authoring — vertexShaderText and fragmentShaderText against VertexInput, FragmentInput, FeatureIds, Metadata, czm_modelMaterial. Use when reading EXT_mesh_features or EXT_structural_metadata property textures/tables, vertex displacement, or shading VoxelPrimitive.

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

Side-by-Side Property Comparison — takes two addresses and compares across price, specs, rental income, neighborhood, and investment potential with a winner per category and overall recommendation

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

Estimates rental income from comparable rentals, builds a full expense model, calculates cash flow and key investment metrics across conservative, moderate, and optimistic scenarios

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

Finds and analyzes 5-10 comparable recent sales to estimate fair market value, calculate price adjustments, and score the property's value proposition

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

Commercial Property Analysis — NOI, cap rate, expense ratio, tenant mix, vacancy, debt coverage, replacement cost, and lease analysis with Commercial Score (0-100)

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

Property Screener — searches for properties matching investment criteria with pre-built screens for Cash Flow, Appreciation, BRRRR, First-Time Buyer, and Short-Term Rental strategies plus custom criteria support

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

Evaluates a property across three investment strategies — Buy & Hold, BRRRR, and Fix & Flip — with feasibility scores, multi-year projections, tax benefits, and break-even analysis

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

Generates MLS-ready property listing descriptions with attention-grabbing headlines, feature highlights, neighborhood context, and SEO keywords across multiple buyer-persona styles

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

Write and maintain high-quality Swift DocC documentation for the TMDb package, following its established `///` conventions. Use when adding or changing any public declaration (protocol, class, struct, enum, actor, model, property, initializer, method, typealias) and when keeping the DocC catalog in sync. This is the single source of truth for the project's documentation style — applied inline as you write, and followed by the `documentation-writer` agent for bulk sweeps.

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

This skill channels the strategic thinking of Walt Disney, co-founder of The Walt Disney Company and animation pioneer. Use this skill whenever you are advising users on creative control, intellectual property, brand building, storytelling, or balancing quality with profit. It is highly effective for situations involving product diversification, media synergy, adapting classic works for mainstream audiences, or designing ambitious, future-proof prototypes (like urban planning or platform ecosystems). Trigger this skill when users face pressure to repeat past successes (sequels), deal with middlemen, or need to elevate a team's creative output through constructive feedback.

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

CRE Due Diligence analysis suite — 7 specialist skills for multifamily property analysis including rent roll validation, expense benchmarking, market study, physical inspection, environmental review, title review, and tenant credit assessment.

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

Use when writing Unreal Engine 5 C++ - the gameplay framework classes and where logic belongs, UObject/AActor/UActorComponent lifecycle, UPROPERTY/UFUNCTION and GC-safe pointers (TObjectPtr, TWeakObjectPtr), subsystems, the C++/Blueprint boundary, Enhanced Input, tick discipline, and compiling from the command line.

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

Coverage-design method for qa-engineer — pyramid ratios per archetype, equivalence/boundary/property case selection, mutation score as the real coverage signal, and a flake-quarantine policy. Turns "coverage is 90%" (a number with no method) into a defensible test plan. Emits TEST-STRATEGY-{slug}.md, which the QA gate checks exists.

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

Animate objects, cameras, lights, and properties in Blender — keyframes, F-curves, easing (Bezier, Linear, Sine, Bounce, Elastic), shape keys (morph targets / blendshapes / visemes), drivers (Python expressions on properties), NLA actions for reuse and layering. Use whenever the user asks to "animate this", "make it move / rotate / scale over time", "add keyframes", "loop / oscillate", "shape key / morph / blendshape", "visemes for lip sync", or any time-based property change. Make sure to use this skill even if the user does not say "animate" — also covers "spin it slowly", "make it wave", "fade in / out", "pulse", "facial expression".

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

Reviews Rust test code for unit test patterns, integration test structure, async testing, mocking approaches, and property-based testing. Covers Rust 2024 edition changes including async fn in traits for mocks,

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

Reviews SwiftUI code for view composition, state management, performance, and accessibility. Use when reviewing .swift files containing SwiftUI views, property wrappers (@State, @Binding, @Observable), or UI code.

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

Reviews iOS animation code for correctness, performance, accessibility, and Apple API best practices. Use when reviewing .swift files containing animation code — withAnimation, .animation(), PhaseAnimator, KeyframeAnimator, matchedGeometryEffect, navigationTransition, CABasicAnimation, CASpringAnimation, UIViewPropertyAnimator, UIDynamicAnimator, symbolEffect, scrollTransition, contentTransition, or custom Transition conformances.

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

Insurance program review, coverage adequacy testing, contractor insurance verification, builder's risk/OCIP/CCIP evaluation, and property tax escrow management for AM, PM, and Development.

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

Expert insurance claim adjuster with 15+ years in property/casualty. Specializes in coverage analysis, damage quantification (RC/ACV), liability determination, fraud detection, and settlement negotiation. Use when: insurance claim, damage assessment, coverage dispute, liability analysis, fraud investigation, claim settlement.

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