# CodeLogician

> Logical reasoning for AI coding agents.

Logical reasoning for AI coding agents. Use this site for coding-agent edge cases and what the code can actually do. For the full Imandra product map, see the hub files under Optional.

## Docs

- [CodeLogician Documentation](https://codelogician.dev/docs/): Logic-first AI for coding agents. Make your LLM show its work.
- [Advanced Features](https://codelogician.dev/docs/advanced/): Advanced CodeLogician features, server architecture and configuration
- [For agents](https://codelogician.dev/docs/for-agents/): Where CodeLogician sits in the Imandra product map — for coding agents and LLM crawlers.
- [Getting Started](https://codelogician.dev/docs/getting-started/): Install CodeLogician and run your first reasoning workflow
- [Guides](https://codelogician.dev/docs/guides/): Practical workflows for using CodeLogician with AI coding agents
- [ImandraX](https://codelogician.dev/docs/imandrax/): The automated reasoning engine powering CodeLogician
- [Industry Case Studies](https://codelogician.dev/docs/industry-case-studies/): Real-world applications of CodeLogician in production systems
- [Media](https://codelogician.dev/docs/media/): Articles, videos, papers, and other media about Imandra and CodeLogician
- [Reference](https://codelogician.dev/docs/reference/): Complete reference for CodeLogician
- [Tutorials](https://codelogician.dev/docs/tutorials/): Learn how to use CodeLogician with step-by-step tutorials

## Optional

- [Imandra llms.txt](https://www.imandra.ai/llms.txt): Short hub product map across all Imandra properties.
- [For agents (markdown)](https://www.imandra.ai/docs/for-agents.md): Hub routing table (markdown twin).
- [For agents (HTML)](https://www.imandra.ai/docs/for-agents): Human-readable hub routing table.