SpecLogician

Welcome to the documentation page for SpecLogician - your agent for formalizing and reasoning about specifications!

Important: to use SpecLogician you need to get an Imandra Universe API Key here.

There are different ways to use CodeLogician - please see their individual pages for installation instructions!:

• VS Code Extension
• MCP Server that’s extremely helpful if you’re using SpecLogician with a tool like Cursor or Claude Code

Get an introduction to SpecLogician, or learn more about its MCP functions and agentic workflows or its Python API.