alialavia/pbt-skills

Claude Code skills for genuine property-based testing: discovery workflow, anti-patterns, Hypothesis & beyond.

対応Claude Code~Codex CLI~Cursor
npx skills add alialavia/pbt-skills

Ask in your favorite AI

Open a new chat with this agent skill pre-loaded.

ドキュメント

alialavia/pbt-skills

Claude Code skills for genuine property-based testing: discovery workflow, anti-patterns, Hypothesis & beyond.

関連スキル

dmae97/oh-my-kimi

Production-ready multi-agent orchestration harness for Kimi Code CLI (K2.6): worktree team runtime, DAG/ensemble planning, MCP skill-hooks, quality gates, and local graph memory. | Kimi Code CLI(K2.6)向け本番対応マルチエージェント基盤: worktreeチーム実行、DAG/ensemble計画、MCP/スキルフック、品質ゲート、ローカルグラフ記憶を提供。

community

dart-lang/dart-resolve-package-conflicts

Workflow for fixing package version conflicts. Use this when `pub get` fails due to incompatible package versions.

community

parasoft/dottest-ai-agent-demo

This project contains example of dottest-ai-agent-skills integration with a .NET project via CI/CD pipelines in order to automatically fix violations in the codebase.

community

frames-engineering/open-prose

OpenProse is a programming language for AI sessions. Activate on ANY `prose` command (prose boot, prose run, prose compile, prose update, etc.), running .prose files, mentioning OpenProse/Prose, or orchestrating multi-agent workflows. The skill intelligently interprets what the user wants.

community

warpdotdev/council

Run a model-diverse subagent council to investigate the same problem from multiple perspectives, compare findings, and produce a final recommendation. Use this skill whenever the user asks for a council, second opinions, multiple agents/models to evaluate one question, parallel investigation, red-team/blue-team comparison, or help deciding between competing technical approaches.

community

aws/exporting-rds-to-s3

Exports Amazon RDS or Aurora database snapshots to Amazon S3 in Apache Parquet format for analytics, backup, or data migration. Handles snapshot selection or creation, IAM role setup, KMS encryption, S3 bucket preparation, export task execution, progress monitoring, and data verification. Use when exporting RDS/Aurora data to S3 for Athena, Glue, or Redshift Spectrum consumption.

community