Unison Development
Writes, tests, and updates Unison code using a mandatory Test-Driven Development (TDD) workflow and specialized MCP tools.
Key features
- Guides incremental development with iterative typechecking before committing code.
- Enforces a mandatory Test-Driven Development (TDD) workflow.
- Provides a structured workflow for handling UCM update errors.
- Requires fully qualified names (FQNs) to ensure correct code modification.
- Utilizes Unison-specific MCP tools for code exploration, typechecking, and management.
Use cases
- Developing new features or functionality in a Unison codebase.
- Refactoring existing Unison code while ensuring type safety and correctness.
- Writing and running tests for Unison functions and abilities.
FAQ
How does this skill improve my Unison workflow?
It improves your workflow by preventing common errors. It mandates a test-first approach, requires fully qualified names to avoid accidental code duplication, and provides a structured process for handling UCM update errors, leading to more robust and reliable code.
When should I use this skill?
Use this skill whenever you are working with Unison language files (.u extension), performing Unison Code Manager (UCM) operations, or developing any project using the Unison programming language with Claude.
What does the Unison Development skill do?
This skill equips Claude to write, test, and update Unison code by enforcing a strict Test-Driven Development (TDD) workflow. It uses specialized MCP tools for safe, efficient, and error-free development within the Unison ecosystem.
What key capabilities does this skill provide?
It provides a mandatory TDD workflow, integration with Unison-specific MCP tools for code exploration and typechecking, strict enforcement of Fully Qualified Names (FQNs) for correct code modification, and a guided process for resolving UCM update errors.
Related skills
Overnight Development
Automates overnight software development by enforcing a test-driven development (TDD) workflow with Git hooks.
Security Testing66512 ptsTesting Skills with Subagents
Applies a Test-Driven Development (TDD) cycle to create and bulletproof other Claude skills, ensuring they withstand pressure and resist rationalization.
Security Testing1112 ptsVS Code TDD Expert
Guides the implementation of Test-Driven Development for VS Code extensions using the t-wada methodology to ensure robust command, WebView, and terminal logic.
Security Testing612 pts