property-based-test SKILL.md skillA
property-based-test from sorafujitani/skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add sorafujitani/skills/property-based-test@git:20260902.9b3b7bfPins git:20260902.9b3b7bf in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- sorafujitani/skills
- Path
property-based-test/SKILL.md- Versions recorded
- 3
- Latest version
- git:20260902.9b3b7bf, committed Sep 2, 2026
- First version recorded
- May 8, 2026
- Size
- 14,326 bytes
- Repository stars
- 8
- License
- MIT
明示的に `property-based-test` を呼び出した場合のみ使用する。 Property-Based Testing（PBT）の自動設計・実装支援。テスト対象コードを静的分析し、 プロパティパターン選定・ジェネレータ合成・テストコード生成・実行・レポートを自動実行する。 フレームワーク自動検出。必要な場合だけ独立調査を並列実行する。.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# Property-Based Testing Skill
## CONSTRAINT
```yaml
mode: write # テストコードを生成・実行する
source_modification: false # テスト対象のソースコードは変更しない
output_scope: test_files_only
```
## INPUT_SCHEMA
```yaml
arguments: "$ARGUMENTS"
arguments_format: "<target_path> [--focus 観点1,観点2]" # target_path 必須。空ならユーザーにファイルパスを確認する
focus_mapping:
"境界値|boundary": [invariant, metamorphic]
"エラー処理|error": [invariant, oracle]
"冪等性|idempotent": [idempotent]
"シリアライズ|serialize": [roundtrip]
"状態|state|stateful": [stateful]
"性能|performance": [oracle, metamorphic]
"代数|algebraic": [algebraic]
"全般|all": [ALL]
```
## EXECUTION_PIPELINE
```
Phase1:Analyze ──gate:data_ready──▶ Phase2:Design ──gate:plan_ready──▶ Phase3:Generate ──▶ Phase4:Execute ──▶ Phase5:Report
```
各 gate は前フェーズの出力が後フェーズの入力要件を満たすことを検証する内部チェック。ユーザー確認ゲートは不要（自動実行）。
---
## PHASE_1: ANALYZE
### 1.1 サブエージェント起動（条件付き）
小規模な対象や親の直接分析で十分な場合は、subagentを使わずに調査する。独立した成果物や競合仮説があり、調整コストを上回る場合のみ、必要なタスクだけを並列起動する。固定数を必須にしない。
候補タスク:
```yaml
candidate_tasks:
- agent: Task(Explore)
id: agent_a
label: "対象コード静的分析"
prompt: |
{target_path} を読み込み、以下を構造化して返却せよ:
1. 全 public 関数/メソッドの一覧
…Read the whole file at its exact version.
How to install
mdr add sorafujitani/skills/property-based-test@sha256:7ddbfaf2b03c6cccThe line at the top of this page pins the label git:20260902.9b3b7bf, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_eylsp32nzfjw7fxw)
4 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 3 versions of this file, between May 8, 2026 and Sep 2, 2026, about one every 59 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260902.9b3b7bf latest | 2026-09-02 | 9b3b7bf | 14,326 B | A | view · diff |
| git:20260902.d9838bb | 2026-09-02 | d9838bb | 14,346 B | A | view · diff |
| git:20260508.f63bdbf | 2026-05-08 | f63bdbf | 14,587 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (14326 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
sorafujitani/skills · 8 stars · license MIT · pushed 2026-10-15 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_eylsp32nzfjw7fxw GET https://markdownregistry.com/api/v1/resolve?ref=sorafujitani/skills/property-based-test GET https://markdownregistry.com/api/v1/blob/7ddbfaf2b03c6ccc032a94814f01bea89aae9ed2cf6795b3d37e599b752e6ea3
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.