Tutorials
Learn how to use CodeLogician through hands-on tutorials. These guides will help you get started with formal verification from the command line and your AI coding assistant.
Why These Tutorials Matter
Master CodeLogician through practical, step-by-step guides that teach you:
- Setting up and configuring CodeLogician for your workflow
- Understanding core concepts like formalization, verification, and reasoning
- Integrating with AI assistants like Claude Code and other tools
Available Tutorials
CLI Tutorial: CodeLogician with Claude Code
Focus: Command-line interface for AI coding assistants
Use Case: Integrating CodeLogician with terminal-based coding agents
Duration: ~30 minutes
What you'll learn:
- Installing and setting up the CodeLogician CLI
- Using the
codelogician doccommand for documentation - Establishing a rapid feedback loop with
codelogician eval - Building a verified traffic light control system from scratch
- Leveraging formal verification in your coding workflow
Key Features:
- Rapid feedback loops with CLI commands
- Comprehensive IML/ImandraX documentation access
- Integration with terminal-based AI assistants
- Practical example: Traffic light safety verification
Real-World Applications
Ready for Production Examples?
After completing these tutorials, explore our Case Studies section to see CodeLogician applied to real-world production systems including:
- Algorithmic Trading Rules - Redundancy detection in complex rule systems
- LSE Trading Systems - MIT201 compliance verification (2 case studies)
- Bank Account Classification - Complexity analysis and test coverage
Each case study includes the original code, verification results, and downloadable examples.
Additional Resources
Documentation
- CodeLogician Agent - Comprehensive agent documentation
- Command Reference - Every CodeLogician CLI command
- Guides - Working with CodeLogician and coding agents
- ImandraX - Learn about the reasoning engine
- Advanced Features - CodeLogician server architecture
Getting Help
- Getting Started Guide - Quick start instructions
- Python Library - Programmatic access
Prerequisites
Before starting these tutorials, make sure you have:
- Python 3.12+ installed on your system
- Imandra Universe API key - Get your API key at universe.imandra.ai
- CodeLogician Python package - Install with
pip install codelogician
Installation
pip install codelogician
export IMANDRA_UNI_KEY="your-api-key-here"
codelogician --help