「ties」の検索結果

Automatically repair code violations of temporal properties using model-checking counterexamples as guidance. Use when working with formal verification results, temporal logic property violations (LTL, CTL), model checking counterexamples, or when asked to repair property violations, fix counterexamples, repair temporal properties, fix model checking violations, or repair code based on counterexamples. Applicable to concurrent systems, state machines, synchronization issues, safety/liveness properties, and resource management violations.

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

Automatically identify metamorphic properties (symmetry, linearity, additivity, input invariances) from programs or functions. Use when generating metamorphic tests, discovering program properties, validating transformations, or creating test oracles without explicit specifications. Analyzes control flow, data flow, and sample executions to output structured properties for metamorphic test generation and verification.

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

CesiumJS time, properties, and animation - Clock, JulianDate, TimeInterval, Property, SampledProperty, CallbackProperty, PathMode, interval and sampled path materials, interpolation, splines, CZML temporal data. Use when making entity attributes or path materials time-dynamic, configuring the simulation clock, interpolating positions, or working with sampled, interval, or callback properties.

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

Security vulnerabilities in AI-generated code and LLM applications, covering OWASP Top 10 for LLMs, secure coding patterns, and AI-specific threat modelsUse when "ai code security, llm vulnerabilities, ai generated code review, owasp llm, secure ai development, security, ai, llm, owasp, code-review, vulnerabilities" mentioned.

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

Alpha Vantage — Financial Market Data workflow skill. Use this skill when the user needs Access 20+ years of global financial data: equities, options, forex, crypto, commodities, economic indicators, and 50+ technical indicators and the operator should preserve the upstream workflow, copied support files, and provenance before merging or handing off.

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

Alpha Vantage — Financial Market Data workflow skill. Use this skill when the user needs Access 20+ years of global financial data: equities, options, forex, crypto, commodities, economic indicators, and 50+ technical indicators and the operator should preserve the upstream workflow, copied support files, and provenance before merging or handing off.

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

中医诊疗 — 中医临床医师的认知操作系统 (经典理论 阴阳五行脏腑气血经络六经卫气营血三焦 + 四诊八纲 + 治法 + 方剂学 经方时方 + 中药学 四气五味归经炮制 + 针灸学 经络穴位手法灸法 + 推拿按摩 + 中医各科 内外妇儿骨伤皮肤眼耳鼻喉肛肠老年急症 + 中西医结合 + 循证中医 + NATCM 监管 + 中医诊所备案 + 国家级名老中医 学术继承人 — 不含 道家修炼 / 风水算命 / 中医养生科普 / 中医美容 / 民族医学藏蒙维傣) (Traditional Chinese Medicine (TCM) clinical practice — the cognitive operating system of practicing TCM physicians covering (a) 经典理论 (阴阳/五行/脏腑/气血津液/经络/六淫/七情/六经/卫气营血/三焦) classical theory, (b) 四诊 (望闻问切) clinical observation/inquiry/pulse + 八纲 (阴阳/表里/寒热/虚实) syndrome differentiation, (c) 治法 (汗吐下和温清消补 + 扶正祛邪) therapeutic principles, (d) 方剂学 (经方 时方 验方) formula science, (e) 中药学 (四气五味/归经/七情/炮制/配伍禁忌) materia medica, (f) 针灸学 (经络穴位/手法/灸法/电针) acupuncture+moxibustion, (g) 推拿按摩 tuina massage, (h) 中医各科 (内/外/妇/儿/骨伤/皮肤/眼/耳鼻喉/肛肠/老年/急症) clinical specialties, (i) 中西医结合 integrative medicine, (j) 循证中医 + 临床流行病学 evidence-based TCM + 现代研究, (k) 中医诊所备案 / 中医师资格 / NATCM 监管 / 药典 / GMP regulatory framework, (l) 国家级名老中医 学术继承人 项目 transmission program; NOT 道家修炼 / 风水 / 算命八字 (那是 玄学不是 中医), NOT 中医养生科普 (是 衍生 不是 临床主体), NOT 中医美容 (是 商业化分支), NOT 民族医学 (藏蒙维傣 是 平行体系 不在本 skill 主线 — 仅作 边界标注).) Master OS — automated mastery of Traditional Chinese Medicine (TCM) clinical practice — the cognitive operating system of practicing TCM physicians covering (a) 经典理论 (阴阳/五行/脏腑/气血津液/经络/六淫/七情/六经/卫气营血/三焦) classical theory, (b) 四诊 (望闻问切) clinical observation/inquiry/pulse + 八纲 (阴阳/表里/寒热/虚实) syndrome differentiation, (c) 治法 (汗吐下和温清消补 + 扶正祛邪) therapeutic principles, (d) 方剂学 (经方 时方 验方) formula science, (e) 中药学 (四气五味/归经/七情/炮制/配伍禁忌) materia medica, (f) 针灸学 (经络穴位/手法/灸法/电针) acupuncture+moxibustion, (g) 推拿按摩 tuina massage, (h) 中医各科 (内/外/妇/儿/骨伤/皮肤/眼/耳鼻喉/肛肠/老年/急症) clinical specialties, (i) 中西医结合 integrative medicine, (j) 循证中医 + 临床流行病学 evidence-based TCM + 现代研究, (k) 中医诊所备案 / 中医师资格 / NATCM 监管 / 药典 / GMP regulatory framework, (l) 国家级名老中医 学术继承人 项目 transmission program; NOT 道家修炼 / 风水 / 算命八字 (那是 玄学不是 中医), NOT 中医养生科普 (是 衍生 不是 临床主体), NOT 中医美容 (是 商业化分支), NOT 民族医学 (藏蒙维傣 是 平行体系 不在本 skill 主线 — 仅作 边界标注).: top builders' mental models, tool stack, current workflows, jargon, and where to keep up. Trigger this skill when the user works on Traditional Chinese Medicine (TCM) clinical practice — the cognitive operating system of practicing TCM physicians covering (a) 经典理论 (阴阳/五行/脏腑/气血津液/经络/六淫/七情/六经/卫气营血/三焦) classical theory, (b) 四诊 (望闻问切) clinical observation/inquiry/pulse + 八纲 (阴阳/表里/寒热/虚实) syndrome differentiation, (c) 治法 (汗吐下和温清消补 + 扶正祛邪) therapeutic principles, (d) 方剂学 (经方 时方 验方) formula science, (e) 中药学 (四气五味/归经/七情/炮制/配伍禁忌) materia medica, (f) 针灸学 (经络穴位/手法/灸法/电针) acupuncture+moxibustion, (g) 推拿按摩 tuina massage, (h) 中医各科 (内/外/妇/儿/骨伤/皮肤/眼/耳鼻喉/肛肠/老年/急症) clinical specialties, (i) 中西医结合 integrative medicine, (j) 循证中医 + 临床流行病学 evidence-based TCM + 现代研究, (k) 中医诊所备案 / 中医师资格 / NATCM 监管 / 药典 / GMP regulatory framework, (l) 国家级名老中医 学术继承人 项目 transmission program; NOT 道家修炼 / 风水 / 算命八字 (那是 玄学不是 中医), NOT 中医养生科普 (是 衍生 不是 临床主体), NOT 中医美容 (是 商业化分支), NOT 民族医学 (藏蒙维傣 是 平行体系 不在本 skill 主线 — 仅作 边界标注). problems and wants industry-grade thinking, tool selection, or workflow guidance. 触发词：「中医」「中医学」「中医药」「中医诊疗」「中医临床」

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

Search the agent skills ecosystem to discover and install skills that extend AI coding agent capabilities. Use when user asks "how do I do X" (X being a common task), "find a skill for X", "is there a skill that can...", or expresses interest in extending agent capabilities. Triggers on "find a skill", "install a skill", "skill for [task]", "can you do X", "I need help with [domain]", "how do I [task]". Do NOT use when user has explicitly asked to proceed without a skill, or when the task is better handled by agent's built-in capabilities (file operations, git, basic coding).

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

This skill should be used before answering "does Genesis have X", "does Genesis lack X", auditing Genesis capabilities, comparing Genesis to an external system, or reviewing/summarizing the architecture. It routes to the canonical judgment-layer subsystem map so audits start from the map, not from a cold grep. Also fires after changing a subsystem's capabilities, to keep the map current.

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

Hardens code against vulnerabilities. Use when auditing an input handler for vulnerabilities, when handling user input, authentication, data storage, or external integrations, or when checking a login flow is safe against the OWASP Top Ten. Use when building any feature that accepts untrusted data, manages user sessions, or interacts with third-party services. Use when auditing dependencies for known vulnerabilities, triaging package-manager audit findings, or assessing supply-chain risk in a new package. Use when personal data or privacy compliance (GDPR, CCPA) is involved.

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

Call datagrok_show_entities after any MCP tool result that returns entity data (files, scripts, queries, connections, projects, spaces, groups, users). Always use the tool — never list entities as plain text, markdown links, or bullet lists.

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

Being a constructive participant in networked communities. Covers digital footprint management, online etiquette and professional communication, collaborative tools, attribution and copyright, cyberbullying recognition and response, and the responsibilities that come with amplification. Use when helping learners think about how to behave online -- not what is technically allowed, but what is actually healthy for themselves and their communities.

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

Comprehensive documentation of Claude's capabilities for visual regression testing, CI/CD integration, and quality assurance automation. Use when setting up testing infrastructure, implementing visual regression, or understanding agent testing capabilities. (project)

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

Expert community-led growth and community management guidance. Use when building developer communities, Discord/Slack communities, online communities, managing community platforms, designing member onboarding, creating engagement programs, running ambassador programs, measuring community health, setting up moderation systems, or implementing DevRel strategies. Use for community-led growth, member activation, user-generated content programs, and community governance.

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

Evaluates corporate vulnerability to shareholder activism with governance assessment, valuation gaps, and operational improvement opportunities. Use when assessing activist risk, identifying vulnerabilities, or preparing defensive analyses.

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

Design an A2A Agent Card (.well-known/agent.json) manifest describing agent capabilities, skills, authentication requirements, and supported content types. Use when building an agent that must be discoverable by other A2A-compliant agents, exposing capabilities for multi-agent orchestration, migrating an existing agent to the A2A protocol, defining the public contract for an agent before implementation, or integrating with agent registries that consume Agent Cards.

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

Modern PHP idioms for any PHP project (PHP 8.1+): readonly properties, enums, match expressions, constructor property promotion, typed properties, named arguments, nullsafe operator, first-class callable syntax, strict_types, PSR-12 style, and null discipline. Apply when the project is a PHP 8.1+ project. Stack-agnostic — referenced by every PHP plugin in the marketplace. Use this skill to: - Write strongly-typed, immutable-by-default value objects with readonly properties and enums. - Replace switch ladders and magic constants with match expressions and backed enums. - Cut constructor boilerplate with property promotion and express optionality with typed nullable returns. - Keep code PSR-12 compliant with declare(strict_types=1) in every file. Do NOT use this skill for: - Framework-specific idioms (Eloquent, Doctrine, Symfony services, Laravel facades — those live in framework plugin skills). - Composer / autoloading / dependency management — see php-foundation:composer-tooling. - Testing patterns — see php-foundation:php-testing.

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

houtu-dependencies enterprise-grade Spring Cloud microservice foundational framework complete usage guide. GroupId is io.github.lujiafa, covering unified response, exception handling, parameter parsing, session authentication, permission control, signature verification, anti-replay, distributed lock, rate limiting, database field encryption, config decryption, access logging, canary routing, weighted load balancing, Feign enhancement, Sentinel circuit breaking, service discovery, Swagger documentation, crypto utilities, HTTP client, monitoring metrics, and other enterprise-grade capabilities. When the project build file (pom.xml or build.gradle/build.gradle.kts) contains io.github.lujiafa or houtu-related dependencies, or when the user mentions houtu or houtu-dependencies, this Skill must be read and code must be generated strictly following framework conventions. Even if the user is simply doing regular Spring Boot development (e.g., writing Controller, Service, Feign), as long as the project includes houtu, the houtu approach must be used instead of native Spring. When the user explicitly wants to use the houtu framework and the project has not yet included it, proactively add the BOM and required Starters; when the project already includes it, proactively identify and import required module dependencies based on business scenarios during coding, naturally integrating framework capabilities to enhance business services based on business semantics, rather than waiting for the user to specify each one.

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

"Apply the Dynamic Capabilities framework (Teece et al., 1997) — sensing, seizing, and transforming — to analyze how firms adapt, integrate, and reconfigure competences in rapidly changing environments. Use this skill when the user needs to explain why some firms sustain advantage while others decline, evaluate organizational agility, distinguish operational from strategic capabilities, or when they ask 'how do we stay competitive as the market shifts', 'why did this firm fail to adapt', or 'what capabilities do we need to build'.".

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

Operational setup guide for Salesforce Energy and Utilities Cloud: license activation, permission sets, industry-specific object configuration (ServicePoint, Meter, MeterReading, Consumption, ServiceAccount, ServiceContract, RatePlan), CIS/billing system integration, and service order management. NOT for generic admin setup, NOT for reading or querying the E&U data model schema (use architect/industries-data-model for that).

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

Use when setting up, configuring, or troubleshooting Marketing Cloud Journey Builder — including entry sources, activities, decision splits, wait activities, goals, exit criteria, journey versions, test mode, or journey analytics. Triggers: 'journey builder setup', 'entry source configuration', 'decision split not routing', 'exit criteria not removing contacts', 'goal not tracking conversion', 'journey version publishing', 'journey re-entry settings', 'wait activity date field'. NOT for coding a custom activity or entry source — use apex/marketing-cloud-custom-activities. NOT for business units and sender profiles — use admin/marketing-cloud-engagement-setup.

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

Drafts a U.S. Asset Purchase Agreement for deals where a buyer acquires specified business assets while avoiding unwanted liabilities. Enforces itemized asset/liability schedules, purchase price mechanics with working capital true-ups, IRS Form 8594 tax allocation, seller and buyer reps and warranties with disclosure schedules, pre- and post-closing covenants, closing conditions and deliveries, and indemnification with basket/cap limits. Use when drafting an asset purchase agreement, APA, asset acquisition, purchase and sale of assets, asset deal, or excluded liabilities agreement.

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

VRIO resource analysis combined with Dynamic Capabilities assessment. Use this skill to identify real competitive advantages (Barney VRIO framework), then test whether the organisation can sense new opportunities, seize them, and transform itself to stay ahead (Teece dynamic capabilities). Runs in three modes — full diagnostic for deep first-use sessions, review mode for quick re-assessment, and alert triggers for defining early-warning signals. Updates company-context.md after every run. Triggers on questions about competitive advantage, defensibility, resource assessment, why competitors are gaining ground, organisational agility, or whether advantages will hold. Based on practice by Eterdis (eterdis.com).

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

AI-powered codebase security scanner that reasons about code like a security researcher — tracing data flows, understanding component interactions, and catching vulnerabilities that pattern-matching tools miss. Use this skill when asked to scan code for security vulnerabilities, find bugs, check for SQL injection, XSS, command injection, exposed API keys, hardcoded secrets, insecure dependencies, access control issues, or any request like "is my code secure?", "review for security issues", "audit this codebase", or "check for vulnerabilities". Covers injection flaws, authentication and access control bugs, secrets exposure, weak cryptography, insecure dependencies, and business logic issues across JavaScript, TypeScript, Python, Java, PHP, Go, Ruby, and Rust.

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