Guides

Practical guides for common Calor workflows and tasks.

Available Guides

Adding Calor to Existing Projects

A comprehensive guide for integrating Calor into an existing C# codebase. Covers:

• Analyzing your codebase for migration candidates
• Setting up tooling and MSBuild integration
• Converting files gradually
• Using Claude Code for assisted migration

Dependent Types Tutorial

A progressive tutorial on refinement types and the MCP-guided agent repair loop. Covers:

• API parameter validation with inline refinements vs. C# boilerplate
• Financial calculations with proof obligations and Z3 verification
• The MCP agent workflow: suggest types → check obligations → discover guards → diagnose and repair

Getting Started

If you're new to Calor, start with the Getting Started section instead. These guides assume familiarity with Calor basics.