2,071 件 ・ 関連度順
概要と使いどころ
Create, run, and verify TLA+ and PlusCal formal specifications. Use for modeling distributed systems, protocols, concurrent algorithms, state machines. Can compose specs from code, find divergences between spec and implementation, spot concurrency bugs and invariant violations. Use when asked to "write a TLA+ spec", "model check", "verify protocol", "find race conditions", or "formal verification".
日本語の概要は準備中です。原文の説明を表示しています。
Monitor paid-ad account pacing, delivery, performance, creative fatigue, tracking, policy, and data quality across supported platforms. Use for daily or weekly checks, anomaly review, budget pacing, post-launch verification, or campaign monitoring.
日本語の概要は準備中です。原文の説明を表示しています。
Validate Claude Ads contracts, scoring inputs, run bundles, capabilities, source freshness, safety, installation, uninstall, or release readiness. Use for ads validate, ads status, ads next, stale claims with missing tool access, maturity checks, ownership-manifest uninstall, preserving unrelated ads-* skills, checksum verification, preflight, QA, or release audits. Missing access must demote stale evidence for the run and block dependent release-current claims before recovery guidance.
日本語の概要は準備中です。原文の説明を表示しています。
Add data to an open investigation — documents, interview notes, or observations. Processes batches against the documented pull criteria, surfaces significant items, and logs everything reviewed for coverage verification. Use when new evidence, interview notes, or document productions come in for an open investigation.
日本語の概要は準備中です。原文の説明を表示しています。
Reviews a PR or diff with multi-angle finders and adversarial verification, then reports a findings table, a merge/no-merge recommendation, required followups, and offers to create a follow-up PR. Use when the user types /review-pr [PR# | branch | path].
日本語の概要は準備中です。原文の説明を表示しています。
在宣称工作完成、已修复或测试通过之前使用，在提交或创建 PR 之前——必须运行验证命令并确认输出后才能声称成功；始终用证据支撑断言
日本語の概要は準備中です。原文の説明を表示しています。
Automation and verification guide for running Native SDK apps. Use when the user asks to test a running app, inspect runtime state, list windows, wait for readiness, drive widgets, take deterministic screenshots, send bridge commands, debug why automation is not connected, create smoke tests, or verify a Native SDK example in a GUI-capable session.
日本語の概要は準備中です。原文の説明を表示しています。
Trigger: contributing to Gentleman-Programming/gentle-ai as an external collaborator. Strict issue-first workflow, honest PR bodies, contributor-vs-maintainer scope, chained-PR strategy, verification protocol, docstring coverage. Load whenever the active repo is Gentleman-Programming/gentle-ai and any part of the contribution flow is in scope: opening an issue, drafting or editing a PR body, splitting a change into chained/stacked PRs, or auditing a PR before requesting review.
日本語の概要は準備中です。原文の説明を表示しています。
Workaround for write_file failures caused by special characters (apostrophes, backticks, template literals) using a Python heredoc script, with mandatory post-write verification via read_file and cleanup of /tmp helper scripts.
日本語の概要は準備中です。原文の説明を表示しています。
Safely append CSS styles from one file to another, with per-selector grep verification after every append to catch silent truncation that tail or wc-l alone would miss
日本語の概要は準備中です。原文の説明を表示しています。
Graceful degradation workflow for continuing tasks when web search tools fail, using internal knowledge with verification caveats
日本語の概要は準備中です。原文の説明を表示しています。
Create and modify Excel workbooks with mandatory deterministic Python verification of workbook structure, required sheets, populated columns, and sample counts before reporting completion.
日本語の概要は準備中です。原文の説明を表示しています。
Fallback workflow for reliable file creation and verification when automated code execution fails
日本語の概要は準備中です。原文の説明を表示しています。
Use a deterministic Python/openpyxl inspection pass to verify workbook structure, counts, marked rows, and output-file existence when delegated spreadsheet summaries seem inconsistent.
日本語の概要は準備中です。原文の説明を表示しています。
Verify output format, file coverage, and task alignment before completing
日本語の概要は準備中です。原文の説明を表示しています。
Verify generated PDFs for integrity and page count using PyPDF2 before task completion.
日本語の概要は準備中です。原文の説明を表示しています。
Fallback workflow for code execution when automated tools fail, using shell heredoc with verification
日本語の概要は準備中です。原文の説明を表示しています。
Resilient multi-step workflow for spreadsheet processing when execute_code_sandbox fails, using shell_agent exploration, file-based scripts, and verification steps
日本語の概要は準備中です。原文の説明を表示しています。
Verify PDF page count and content using command-line tools when Python libraries unavailable
日本語の概要は準備中です。原文の説明を表示しています。
Debug Python scripts with proper error surfacing and working directory verification
日本語の概要は準備中です。原文の説明を表示しています。
Verify PDF page counts and file integrity programmatically using PyPDF2 after generation
日本語の概要は準備中です。原文の説明を表示しています。
Verify generated PDF files using PyPDF2 to check page counts and integrity
日本語の概要は準備中です。原文の説明を表示しています。
Robust PowerPoint generation with shell_agent primary and python-pptx fallback, including directory verification and error debugging
日本語の概要は準備中です。原文の説明を表示しています。
Robust PowerPoint generation with shell_agent primary approach and python-pptx fallback, including working directory verification and inline error debugging
日本語の概要は準備中です。原文の説明を表示しています。