「iga」の検索結果

Linuxの通信障害を調べ、ファイアウォールや経路、DNSの設定を支援します。パケット解析やVPN、ネットワークを分離した検証環境の構築も扱います。

• 接続障害やDNSの不具合を調べたいとき
• ファイアウォールとポート転送の見直し
• 送信元に応じた通信経路の設定

PostgreSQLの遅いクエリを実行計画から調べ、検索に合うインデックスやテーブル設計を検討します。大量データの扱い、接続管理、日常の保守も支援します。

• 実行計画から遅いクエリを調べたいとき
• 検索条件に合うインデックスの検討
• 時系列データの分割設計

ソフトウェア開発のスプリント計画、作業見積もり、リスク管理、関係者への報告を支援し、チームの実情に合った進め方や役割分担を整理するスキル。

• チームの余力に合う計画を立てたいとき
• プロジェクトのリスクと対策の整理
• 複数チームの役割分担を明確にしたいとき

コンテナの構築・実行から不具合調査まで支援します。DockerfileやComposeの設定を見直し、イメージの軽量化、データの永続化、安全な運用を助けるスキルです。

• Dockerfileを作成・改善したいとき
• コンテナの起動失敗を調べたいとき
• Composeで複数サービスを構成

AIエージェントに渡す情報の選び方を軸に、記憶の保存、複数エージェントの連携、ツール設計、動作評価まで、システム構築と改善の方針を整理するスキル集。

• 新しいAIエージェントの情報管理設計
• 長い会話で起きる失敗を調べたいとき
• エージェントの記憶と連携を設計したいとき

AIエージェントが使うツールの説明文、入力項目、返却形式を設計します。選び間違いや不正な呼び出しを見直し、エラーから修正できる案内やツールの統合を検討します。

• 新しいツールの説明と入力定義の作成
• ツールの選択ミスを調べたいとき
• エラー後の修正案内を改善したいとき

AIエージェントの判断やツール操作の記録を分析し、指示からの逸脱や同じ失敗の原因を探ります。プロンプトの修正と再実行を重ね、改善内容を再利用できるスキルにまとめます。

• エージェントの反復失敗を調べたいとき
• ツールの誤選択を見直したいとき
• 評価を重ねてプロンプトを直したいとき

Verdaccioの同梱プラグインの修正や読み込み失敗の原因調査を進め、認証・保存処理などの共通インターフェースへの影響と読み込みテストを確認します。

• プラグインの読み込み失敗を調べたいとき
• 同梱の認証・保存プラグインの修正
• 共通インターフェース変更の互換性確認

Verdaccioの変更をPRにまとめ、事前検証、変更履歴、ラベル設定からCIとレビューへの対応まで進めます。影響する別リリース系列への移植PRも扱います。

• PRを準備して作成したいとき
• プッシュ後のCI失敗の調査
• レビュー指摘への対応とPR更新

Verdaccioの変更箇所と依存関係に応じて必要なテストを選び、再ビルドから実行結果の報告まで進めます。古いビルドや未実行テストによる見かけの成功も確認します。

• コミットやプッシュ前の変更検証
• 変更パッケージと依存先のテスト選定
• パッケージ管理ツールやUIの動作確認

SolidityのスマートコントラクトをSlitherとMythrilで解析します。再入攻撃や権限管理などの脆弱性を調べ、重要度と修正案を監査レポートにまとめるスキル。

• 公開前のSolidityコード点検
• 再入攻撃や権限管理の弱点を調べたいとき
• SlitherとMythrilの結果統合

Master index for the web3 smart contract security knowledge base. Use this to navigate the skill chain. Read files in order — each ends with NEXT.

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

Develop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement. Connect actual inputs to intermediate lemmas, assemble the target theorem, check its transitive axioms, and provide a reproducible handoff. Use when Lean is requested or a specific proof obligation benefits from formal verification; use proof-writer for ordinary mathematical drafting.

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

Workflow 1 adaptation for robotics and embodied AI. Orchestrates robotics-aware literature survey, idea generation, novelty check, and critical review to go from a broad robotics direction to benchmark-grounded, simulation-first ideas. Use when user says \"robotics idea discovery\", \"机器人找idea\", \"embodied AI idea\", \"机器人方向探索\", \"sim2real 选题\", or wants ideas for manipulation, locomotion, navigation, drones, humanoids, or general robot learning.

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

Run the Anti-Autoresearch integrity-forensics DETERMINISTIC slice (numeric core + rules-only reporter) against a paper via a SHA-pinned thin launcher, then convert the verdict into a typed policy gate (BLOCK/WARN/NO_NEW_BLOCKER) and an append-only obligations ledger. Codex-native limitation: upstream ships no Codex-native auditor pack, so the full nine-dimension semantic sweep requires a Claude Code session — this pack runs the honestly-scoped deterministic-only mode (it can flag, it can never say CLEAN). Use when user says "integrity forensics", "forensic audit this paper", "投稿前自查诚信".

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

Workflow 1 adaptation for robotics and embodied AI. Orchestrates robotics-aware literature survey, idea generation, novelty check, and critical review to go from a broad robotics direction to benchmark-grounded, simulation-first ideas. Use when user says "robotics idea discovery", "机器人找idea", "embodied AI idea", "机器人方向探索", "sim2real 选题", or wants ideas for manipulation, locomotion, navigation, drones, humanoids, or general robot learning.

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

Run the Anti-Autoresearch integrity-forensics sweep (span-anchored evidence ledger → GPT auditors propose findings → a rules-only reporter that lists every proposal with what the auditor said about it) against a paper via a SHA-pinned thin launcher — then convert the verdict into a typed policy gate (BLOCK/WARN/NO_NEW_BLOCKER) and an append-only obligations ledger. Use when user says "integrity forensics", "forensic audit this paper", "投稿前自查诚信", "审这篇论文的诚信", or says "anti-autoresearch" when the upstream repo's own skills are not installed. Also invoked by /paper-writing (submission self-forensics, default ON), /peer-review (forensic appendix), /resubmit-pipeline.

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

Investigate, implement and verify code changes directly in a repository using Leon's file, search and shell tools.

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

When you need a browser, read this Skill by default. Use it to open and operate websites, fill forms, click buttons, take screenshots, extract page data, sign in, and perform other browser automation tasks, as well as web app testing, dogfooding, QA, bug investigation, and app-quality review. ego-browser (ego-lite) is a Chromium browser designed for both human users and AI Agents. Agents can use the user's logged-in websites and personal context to complete tasks and collaborate smoothly with the user through the browser interface. Therefore, prefer ego-browser over built-in browsers or other web tools.

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

Automate Attio CRM operations -- search records, query contacts and companies with advanced filters, manage notes, list attributes, and navigate your relationship data -- using natural language through the Composio MCP integration.

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

Debug LangChain and LangGraph agents by fetching execution traces from LangSmith Studio. Use when debugging agent behavior, investigating errors, analyzing tool calls, checking memory operations, or examining agent performance. Automatically fetches recent traces and analyzes execution patterns. Requires langsmith-fetch CLI installed.

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

Repository-grounded threat modeling that enumerates trust boundaries, assets, attacker capabilities, abuse paths, and mitigations, and writes a concise Markdown threat model. Trigger only when the user explicitly asks to threat model a codebase or path, enumerate threats/abuse paths, or perform AppSec threat modeling. Do not trigger for general architecture summaries, code review, or non-security design work.

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

Guide for developing the OpenShell TUI — a ratatui-based terminal UI for the OpenShell platform. Covers architecture, navigation, data fetching, theming, UX conventions, and development workflow. Trigger keywords - term, TUI, terminal UI, ratatui, openshell-tui, tui development, tui feature, tui bug.

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

Investigate an OpenShell problem and create a structured issue with technical findings for human disposition.

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