1,314 件 ・ 関連度順
概要と使いどころ
Property development lifecycle in OpenConstructionERP: lead to SPA to handover — feasibility, budgeting from cost bases, sales tracking and construction handover. Use for residential/commercial development projects.
日本語の概要は準備中です。原文の説明を表示しています。
Use when introducing or correcting grouped Spring Boot configuration, typed property binding, validation, profiles or secret injection. Do not rewrite unrelated single-value configuration.
日本語の概要は準備中です。原文の説明を表示しています。
Comprehensive market environment analysis and reporting tool. Analyzes global markets including US, European, Asian markets, forex, commodities, and economic indicators. Provides risk-on/risk-off assessment, sector analysis, and technical indicator interpretation. Triggers on keywords like market analysis, market environment, global markets, trading environment, market conditions, investment climate, market sentiment, forex analysis, stock market analysis, 相場環境, 市場分析, マーケット状況, 投資環境.
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.
日本語の概要は準備中です。原文の説明を表示しています。
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
日本語の概要は準備中です。原文の説明を表示しています。
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
日本語の概要は準備中です。原文の説明を表示しています。
Symfony UX TwigComponent for reusable UI building blocks -- server-rendered components with PHP classes and Twig templates. Use when creating buttons, cards, alerts, badges, navbars, or any reusable UI element with props, blocks/slots, computed properties, or anonymous (template-only) components. Code triggers: AsTwigComponent, #[AsTwigComponent], ExposeInTemplate, PreMount, PostMount, <twig:Alert />, <twig:Button>, component(), computed properties, anonymous component, HTML syntax. Also trigger when the user asks "how to create a reusable component", "how to make a component library", "how to pass props to a component", "how to use slots/blocks in a component", "how to build a design system in Symfony", "what is the HTML syntax for components", "how to create a component without a PHP class". Do NOT trigger for components that re-render dynamically on user input (use live-component), for JS behavior (use stimulus), or for page navigation (use turbo).
日本語の概要は準備中です。原文の説明を表示しています。
Builds Agent2Agent (A2A) servers and clients, the open protocol (originally from Google, now under the Linux Foundation) that lets AI agents from different frameworks call each other. Use when the user wants to create an A2A-compliant agent, build an Agent Card, implement task management, connect agents across frameworks, set up agent discovery, handle streaming responses, implement push notifications, or orchestrate multi-agent workflows. Trigger words: a2a, agent to agent, agent2agent, a2a protocol, a2a server, a2a client, agent card, agent interoperability, agent collaboration, multi-agent, agent discovery, a2a sdk, a2a task.
日本語の概要は準備中です。原文の説明を表示しています。
Programmatic security management in Neo4j — RBAC/ABAC, user lifecycle (CREATE/ALTER/DROP USER), role lifecycle (CREATE/GRANT ROLE/DROP ROLE), privilege grants and denies (GRANT/DENY/REVOKE on graph, database, DBMS), property-level access control, sub-graph access control, SHOW PRIVILEGES inspection, and auth provider config reference (LDAP, OIDC/SSO). Use when an agent needs to manage users, roles, or privileges programmatically via Cypher on the system database. Does NOT handle Cypher query writing — use neo4j-cypher-skill. Does NOT handle cluster ops or backups — use neo4j-cli-tools-skill. Property-level security and ABAC require Enterprise Edition.
日本語の概要は準備中です。原文の説明を表示しています。
Text trademark detection and infringement risk analysis for e-commerce product listings. Trigger when users mention trademark detection, trademark risk check, brand infringement screening, product title trademark scan, text trademark search, listing compliance check, intellectual property risk assessment, text trademark detection, trademark infringement, brand infringement screening, listing compliance, intellectual property risk, Ruiguan. Even if the user does not explicitly say "trademark", trigger this skill whenever their need involves checking whether product text (titles, descriptions, bullet points) contains potentially infringing trademarks.
日本語の概要は準備中です。原文の説明を表示しています。
Use when the user mentions flood zone, flood risk, FEMA, SFHA, floodplain, property due diligence, natural hazard disclosure, flood insurance, base flood elevation, or asks whether a property is in a flood zone.
日本語の概要は準備中です。原文の説明を表示しています。
Guide taxpayers through filing Geneva (Switzerland) tax returns with GeTax. Covers salary, professional expenses (forfaitaire vs effectifs), pillar 3a/3b, health insurance, medical expenses, securities (DA-1/RSI), foreign property, bank accounts, debts, crypto, and dual-income couples. Use when filing via GeTax, optimizing ICC/IFD deductions, declaring foreign property or income, handling DA-1 reclaims, or navigating Geneva cantonal tax rules.
日本語の概要は準備中です。原文の説明を表示しています。
Produces structured summaries of U.S. divorce settlement agreements (MSAs), extracting material terms across property, custody, support, taxes, insurance, fees, and deadlines. Triggers on requests for divorce settlement summary, MSA summary, marital settlement agreement, property division, child custody, parenting plan, child support, or alimony extraction.
日本語の概要は準備中です。原文の説明を表示しています。
Carbon allotropes and nanoscale materials — graphite, diamond, fullerenes (C60 and family), carbon nanotubes, graphene, and the broader class of low-dimensional materials. Covers synthesis routes (arc discharge, laser ablation, CVD, exfoliation), structural characterization, exceptional mechanical and electronic properties, and the gap between laboratory demonstrations and structural-scale applications.
日本語の概要は準備中です。原文の説明を表示しています。
States of matter, phase transitions, kinetic molecular theory, atmospheric chemistry, green chemistry, and sustainable synthesis. Covers solid/liquid/gas/plasma properties, phase diagrams, vapor pressure, gas laws, ozone chemistry, greenhouse effect, the 12 principles of green chemistry, atom economy, solvent selection, and catalysis for sustainability. Use when reasoning about material properties, environmental chemistry, or designing greener chemical processes.
日本語の概要は準備中です。原文の説明を表示しています。
Contracts, commercial law, and intellectual property essentials for founders, managers, and knowledge workers. Covers the elements of contract formation, common contract types, property rights, consumer protection, employment law basics, and the four IP regimes — patents, copyrights, trademarks, and trade secrets. Use when drafting or reviewing an agreement, protecting an invention or brand, evaluating a licensing deal, or understanding regulatory exposure.
日本語の概要は準備中です。原文の説明を表示しています。
Bridge layer connecting the Agentic AI Foundation (AAIF) governance structure — Linux Foundation stewardship of MCP, goose, AGENTS.md — to the plurigrid/asi skill graph. Formalizes AAIF-compatible skill registration, IPSIE identity profiles, and the cross-protocol interoperability surface. Maps the AAIF platinum member ecosystem (AWS, Anthropic, Block, Bloomberg, Cloudflare, Google, Microsoft, OpenAI) to specific ASI skill integration points.
日本語の概要は準備中です。原文の説明を表示しています。
Pytest testing patterns for Python — fixtures, behavioral naming, behavior/risk-driven coverage, property-based testing with Hypothesis when useful, and mutation testing when justified. Use when writing tests, designing fixtures, configuring coverage, or applying parametrize, async testing, or property-based strategies.
日本語の概要は準備中です。原文の説明を表示しています。
Use this skill when architecting new Claude Code agents following Anthropic best practices. Guides through YAML frontmatter creation, agent structure definition, role boundaries, and validation. Critical for creating minimal agent files (~150 lines) with proper skill invocations. Examples: <example>Context: User wants to create a new agent for security auditing user: "Create a security-auditor agent" assistant: "I'll use the agent-creator skill to build this agent following Anthropic best practices" <commentary>New agent creation requires the agent-creator skill to ensure proper structure and YAML frontmatter.</commentary></example> <example>Context: Existing agent file is too verbose and needs refactoring user: "The architect agent is 2000 lines, refactor it to minimal structure" assistant: "I'll use the agent-creator skill to refactor this into a minimal ~150 line agent with a separate skill file" <commentary>Agent refactoring requires the agent-creator skill to separate identity from technical procedures.</commentary></example>
日本語の概要は準備中です。原文の説明を表示しています。
Open protocol for AI agent interoperability enabling standardized communication between agents, applications, and humans across different frameworks
日本語の概要は準備中です。原文の説明を表示しています。
Derive the binding properties your why/how/what impose on everything below them, so no solution can silently contradict your own product definition. Retrofit entry point for projects that started before v0.120.0; also the re-derive path when why/how/what change and every stance below them goes stale.
日本語の概要は準備中です。原文の説明を表示しています。