スキル一覧に戻る

echidna-fuzzer

a5c-ai
更新日 6 days ago
18 閲覧
331
15
331
GitHubで表示
テストtesting

について

エキドナファザースキルは、Echidnaを使用したスマートコントラクトのプロパティベーステストとファジングを可能にし、開発者が不変条件の定義、テストコーパスの管理、カバレッジ分析を行えるようにします。カスタマイズ可能な設定とCI/CD統合を通じて、包括的なセキュリティテストをサポートします。このスキルは、イーサリアムスマートコントラクトの自動化された脆弱性検出と不変条件検証が必要な場合にご利用ください。

クイックインストール

Claude Code

推奨
メイン
npx skills add a5c-ai/babysitter -a claude-code
プラグインコマンド代替
/plugin add https://github.com/a5c-ai/babysitter
Git クローン代替
git clone https://github.com/a5c-ai/babysitter.git ~/.claude/skills/echidna-fuzzer

このコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします

GitHub リポジトリ

a5c-ai/babysitter
パス: plugins/babysitter/skills/babysit/process/specializations/cryptography-blockchain/skills/echidna-fuzzer
0
agent-orchestrationagent-skillsagentic-aiagentic-workflowai-automationbabysitter

関連スキル

evaluating-llms-harness

テスト

このClaudeスキルは、lm-evaluation-harnessを実行し、MMLUやGSM8Kなど60以上の標準化学術タスクでLLMをベンチマークします。開発者がモデルの品質を比較し、トレーニングの進捗を追跡し、学術的な結果を報告するために設計されています。このツールはHuggingFaceやvLLMモデルを含む様々なバックエンドをサポートしています。

スキルを見る

cloudflare-cron-triggers

テスト

このスキルは、cron式を使用してWorkersをスケジュールするためのCloudflare Cron Triggersの実装に関する包括的な知識を提供します。定期的なタスクの設定、メンテナンスジョブ、自動化されたワークフローの構築を網羅し、無効なcron式やタイムゾーン問題といった一般的な課題への対処法も含みます。開発者はこれを使用して、スケジュールされたハンドラーの設定、cronトリガーのテスト、WorkflowsやGreen Computeとの連携を構成できます。

スキルを見る

webapp-testing

テスト

このClaude Skillは、Playwrightベースのツールキットを提供し、Pythonスクリプトを通じてローカルWebアプリケーションのテストを可能にします。フロントエンドの検証、UIデバッグ、スクリーンショット撮影、ログ表示を実現し、サーバーライフサイクルを管理します。ブラウザ自動化タスクにご利用いただけますが、コンテキストの汚染を避けるため、スクリプトのソースコードを読むのではなく直接実行してください。

スキルを見る

finishing-a-development-branch

テスト

このスキルは、開発者がテストの合格を確認し、構造化された統合オプションを提示することで、完成した作業を仕上げることを支援します。実装が完了した後のマージ、PR作成、ブランチの整理といったワークフローを案内します。コードが準備できてテスト済みの際に使用し、開発プロセスを体系的に完了させましょう。

スキルを見る