Individual skill
test-development
Test development. Use when adding or changing Vitest or Tstyche coverage. Choose Tstyche only for intended compiler behavior such as inference, assignability, rejection, or displayed public types.
repos/effect/.agents/skills/test-development/SKILL.md
Source commit a471adb24d750ab9e8d8312edad53ff6f26d961b
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- Yes
- Observed behavior
- Network or broad shell
- Last checked
- Nov 4, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 1,206
- Repository last updated
- Nov 7, 2026
- License
- MIT
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- testing Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 1,069 bytesdisplayed-types.mddoc · 593 bytesruntime.mddoc · 617 bytestypes.mddoc · 1,122 bytes
Read excerpt
Choose branches from the task's acceptance criteria before editing:
- **Runtime behavior:** The intended result is observable when code executes.
Read [runtime.md](runtime.md).
- **Compiler behavior:** The intended result is TypeScript accepting, rejecting,
or inferring a consumer expression in a particular way. Read
[types.md](types.md).
An exported signature alone is validated by `pnpm check`; it enters the compiler
branch only when its inference, assignability, rejection, overload selection, or
displayed type is part of the task. Some changes require both branches because
they independently change runtime and compiler behavior.
The task is complete when each intended behavior in scope has the relevant