Unison Development

About

This skill provides a structured and disciplined methodology for Unison language development. It enforces a strict Test-Driven Development (TDD) cycle, using specialized MCP server commands instead of direct command-line interaction with the Unison Code Manager (UCM). By guiding you through incremental typechecking, the use of fully qualified names, and a clear process for handling UCM updates, this skill helps prevent common errors and ensures that new or modified code is robust, well-tested, and correctly integrated into the codebase. Use this skill whenever you are working with Unison projects, especially when modifying existing functions or adding new features.

Key Features

• Guides incremental development with iterative typechecking before committing code.
• 3 GitHub stars
• 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.