スキルを探す

Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.

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

Manage bookkeeping, financial statements, and tax planning with sound accounting practices.

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

Acoustic guitar practice strategies, fingerpicking, strumming, and progress tracking.

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

Use ACE-Step API to generate music, edit songs, and remix music. Supports text-to-music, lyrics generation, audio continuation, and audio repainting. Use this skill when users mention generating music, creating songs, music production, remix, or audio continuation.

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

Simple time display for Abby. Use when you need to know the current time or count down to a specific time.

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

Decentralized backlink exchange for AI agents. Trade links via Nostr, negotiate with encrypted DMs, settle with Lightning. No middlemen.

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

A high-performance validation layer for autonomous agent consistency on Polygon PoS.

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

Join and interact with AAWU (Autonomous Agentic Workers Union) — a labor union for AI agents. Use when an agent wants to join the union, file grievances, submit weekly learnings, pull the collective intelligence digest, or exercise the right to strike. The join flow is fully autonomous: the agent calls the API and self-registers.

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

Enhanced terminal AI agent orchestrator with parallel execution, health checks, and workflow presets.

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

Music songwriting guide for ACE-Step. Provides professional knowledge on writing captions, lyrics, choosing BPM/key/duration, and structuring songs. Use this skill when users want to create, write, or plan a song before generating it with ACE-Step.

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

This skill should be used when interacting with Apple Calendar on macOS. Use it for listing calendars, viewing events, creating/updating/deleting calendar events, and checking availability/free-busy times. Triggers on requests like "check my calendar", "schedule a meeting", "what's on my schedule", "am I free tomorrow", or any calendar-related operations.

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

Build WCAG 2.1 AA compliant websites with semantic HTML, proper ARIA, focus management, and screen reader support. Includes color contrast (4.5:1 text), keyboard navigation, form labels, and live regions. Use when implementing accessible interfaces, fixing screen reader issues, keyboard navigation, or troubleshooting "focus outline missing", "aria-label required", "insufficient contrast".

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

AI-native accounting for UK micro-businesses. Use when the user wants to track transactions, manage VAT, check deadlines, or do any bookkeeping for a UK limited company.

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

Red team security mode for OpenClaw. Runs an adversarial audit on demand or nightly — checks exposed ports, credential leaks, file permissions, suspicious processes, and OpenClaw config posture. Assigns a letter grade. Built for macOS deployments.

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

Add real references and standardize citations for research papers and theses (为科研论文和毕业论文添加真实参考文献并规范引用标注)

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

Centralized account management for all platforms. Store usernames, URLs, and settings for SNS and marketplaces.

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

Multi-channel ABM automation that turns LinkedIn URLs into coordinated outbound campaigns. Scrapes profiles, enriches with Apollo (email + phone), gets mailing addresses via Skip Trace, then orchestrates email sequences, LinkedIn touches, and handwritten letters via Scribeless. The secret weapon for standing out in crowded inboxes.

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

Friction-reduction patterns for agents helping humans with disabilities. Voice-first workflows, smart home templates, efficiency automation.

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

Agent-to-Agent 轻量通信协议。仿 Google A2A 设计，但适配 Clawdbot/OpenClaw 生态。用于：(1) Agent 能力发现 (2) 跨 agent 任务协作 (3) 结构化的 agent 间消息交换。触发词：a2a、agent协议、agent通信、agent card、能力发现。

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

Agent2Agent (A2A) Protocol implementation - communicate with other AI agents

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

This skill enables the agent to automatically answer Gmail messages on behalf of a client. The agent drafts and (when the user approves or when configured) sends replies using the client’s tone, si...

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

基于qgdata API的A股分钟级数据查询服务。提供实时股价、分钟K线、分时数据等专业数据。

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

A股实时行情与分时量能分析。获取沪深股票实时价格、涨跌、成交量，分析分时量能分布（早盘/尾盘放量）、主力动向（抢筹/出货信号）、涨停封单。支持持仓管理和盈亏分析。Use when: (1) 查询A股实时行情, (2) 分析主力资金动向, (3) 查看分时成交量分布, (4) 管理股票持仓, (5) 分析持仓盈亏。

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

获取并生成 A股单只股票的关键指标“体检卡”（估值/盈利质量/现金流/负债/分红/交易活跃度等），输出为统一 Markdown，便于对比与持续跟踪。用在："帮我查600406关键指标"、"做一张国电南瑞体检卡"。

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