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!:

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