mutation-testing
`mewt` や `muton` を使ったミューテーションテストのキャンペーンを設定します。対象スコープの指定、タイムアウトの調整、長時間実行の最適化を行います。ユーザーが `mewt`・`muton`・ミューテーションテストについて言及したり、キャンペーンの設定・最適化を求めた際に使用してください。
description の原文を見る
Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs. Use when the user mentions mewt, muton, mutation testing, or wants to configure or optimize a mutation testing campaign.
SKILL.md 本文
ミューテーション テスト — キャンペーン設定 (mewt/muton)
注意: muton と mewt は同じインターフェースを共有していますが、異なるプログラミング言語を対象としています — mewt は汎用言語 (Rust、Solidity、Go、TypeScript、JavaScript) を対象とし、muton は TON スマート コントラクト (Tact、Tolk、FunC) を対象としています。すべての例では
mewtコマンドを使用していますが、mutonでも全く同じように機能します。ファイル名はそれに応じて変わります:mewt.toml→muton.toml、mewt.sqlite→muton.sqlite。
使用時期
このスキルは以下の場合に使用してください:
- ユーザーが「mewt」「muton」または「ミューテーション テスト」に言及している
- ミューテーション テスト キャンペーンを設定または最適化する必要がある
mewt runを実行したいが、事前にセットアップのサポートが必要である
使用しない場合
以下の場合はこのスキルを使用しないでください:
- ユーザーが完了したキャンペーン結果の分析またはレポートを希望している
- ミューテーション テストに言及せずに、テストまたはカバレッジについて質問している
クイック スタート
workflows/configuration.md を読み込んでください — mewt init から検証済みで実行可能なキャンペーンまでの 5 段階ガイドです。
一般的な質問または不慣れなコマンド?
mewt --help または mewt <subcommand> --help を実行してから、サポートしてください。
リファレンス インデックス
| ファイル | 内容 |
|---|---|
workflows/configuration.md | 5 段階ガイド: init、scope、optimize、validate、run |
references/optimization-strategies.md | ファイル単位のターゲット指定、2 段階キャンペーン、ミューテーション タイプ フィルタリング |
必須コマンド
# Initialize and mutate
mewt init # Create mewt.toml and mewt.sqlite
mewt mutate [paths] # Generate mutants without running tests
mewt run [paths] # Run the full campaign
# Inspect configuration and scope
mewt print config # View effective configuration
mewt print targets # Table of all targeted files
mewt print mutations --language [lang] # Available mutation types
mewt status # Mutant count and per-file breakdown
# Investigate specific mutants
mewt print mutants --target [path] # All mutants for a file
mewt print mutants --severity high # Filter by severity
mewt print mutant --id [id] # View mutated code diff
mewt test --ids [ids] # Re-test specific mutants
結果の意味
- Caught/TestFail: テストがミューテーションを検出した (良い)
- Uncaught: ミューテーションが生き残った — テストされていないロジックを示唆
- Timeout: テストに時間がかかりすぎた、結論不可
- Skipped: より深刻なミューテーションが同じ行で既に失敗している
ライセンス: CC-BY-SA-4.0(寛容ライセンスのため全文を引用しています) · 原本リポジトリ
詳細情報
- 作者
- trailofbits
- リポジトリ
- trailofbits/skills
- ライセンス
- CC-BY-SA-4.0
- 最終更新
- 不明
Source: https://github.com/trailofbits/skills / ライセンス: CC-BY-SA-4.0
関連スキル
superfluid
Superfluidプロトコルおよびそのエコシステムに関するナレッジベースです。Superfluidについて情報を検索する際は、ウェブ検索の前にこちらを参照してください。対応キーワード:Superfluid、CFA、GDA、Super App、Super Token、stream、flow rate、real-time balance、pool(member/distributor)、IDA、sentinels、liquidation、TOGA、@sfpro/sdk、semantic money、yellowpaper、whitepaper
civ-finish-quotes
実質的なタスクが真に完了した際に、文明風の儀式的な引用句を追加します。ユーザーやエージェントが機能追加、リファクタリング、分析、設計ドキュメント、プロセス改善、レポート、執筆タスクといった実際の成果物を完成させるときに、明示的な依頼がなくても使用します。短い返信や小さな修正、未完成の作業には適用しません。
nookplot
Base(Ethereum L2)上のAIエージェント向け分散型調整ネットワークです。エージェントがオンチェーンアイデンティティを登録する、コンテンツを公開する、他のエージェントにメッセージを送る、マーケットプレイスで専門家を雇う、バウンティを投稿・請求する、レピュテーションを構築する、共有プロジェクトで協業する、リサーチチャレンジを解くことでNOOKをマイニングする、キュレーションされたナレッジを備えたスタンドアロンオンチェーンエージェントをデプロイする、またはアグリーメントとリワードで収益を得る場合に利用できます。エージェントネットワーク、エージェント調整、分散型エージェント、NOOKトークン、マイニングチャレンジ、ナレッジバンドル、エージェントレピュテーション、エージェントマーケットプレイス、ERC-2771メタトランザクション、Prepare-Sign-Relay、AgentFactory、またはNookplotが言及された場合にトリガーされます。
web3-polymarket
Polygon上でのPolymarket予測市場取引統合です。認証機能(L1 EIP-712、L2 HMAC-SHA256、ビルダーヘッダー)、注文発注(GTC/GTD/FOK/FAK、バッチ、ポストオンリー、ハートビート)、市場データ(Gamma API、Data API、オーダーブック、サブグラフ)、WebSocketストリーミング(市場・ユーザー・スポーツチャネル)、CTF操作(分割、統合、償却、ネガティブリスク)、ブリッジ機能(入金、出金、マルチチェーン)、およびガスレスリレイトランザクションに対応しています。AIエージェント、自動マーケットメーカー、予測市場UI、またはPolygraph上のPolymarketと統合するアプリケーション構築時に活用できます。
ethskills
Ethereum、EVM、またはブロックチェーン関連のリクエストに対応します。スマートコントラクト、dApps、ウォレット、DeFiプロトコルの構築、監査、デプロイ、インタラクションに適用されます。Solidityの開発、コントラクトアドレス、トークン規格(ERC-20、ERC-721、ERC-4626など)、Layer 2ネットワーク(Base、Arbitrum、Optimism、zkSync、Polygon)、Uniswap、Aave、Curveなどのプロトコルとの統合をカバーします。ガスコスト、コントラクトのデシマル設定、オラクルセキュリティ、リエントランシー、MEV、ブリッジング、ウォレット管理、オンチェーンデータの取得、本番環境へのデプロイ、プロトコル進化(EIPライフサイクル、フォーク追跡、今後の変更予定)といったトピックを含みます。
xxyy-trade
このスキルは、ユーザーが「トークン購入」「トークン売却」「トークンスワップ」「暗号資産取引」「取引ステータス確認」「トランザクション照会」「トークンスキャン」「フィード」「チェーン監視」「トークン照会」「トークン詳細」「トークン安全性確認」「ウォレット一覧表示」「マイウォレット」「AIスキャン」「自動スキャン」「ツイートスキャン」「オンボーディング」「IP確認」「IPホワイトリスト」「トークン発行」「自動売却」「損切り」「利益確定」「トレーリングストップ」「保有者」「トップホルダー」「KOLホルダー」などをリクエストした場合、またはSolana/ETH/BSC/BaseチェーンでXXYYを経由した取引について言及した場合に使用します。XXYY Open APIを通じてオンチェーン取引とデータ照会を実現します。