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.