Imandra

Imandra是一家提供『推理即服務』的AI公司，其核心平台透過神經符號AI技術，為軟體開發提供可驗證的邏輯推理與形式化驗證能力。

Imandra的主要用戶群包括金融科技開發者、系統工程師、AI研究者、合規審計人員，以及任何需要構建高可靠性、可驗證軟體系統的專業人士。

提供 Python 客戶端庫、VS Code 擴充套件，以及作為 MCP 伺服器，可輕鬆與 Cursor、ChatGPT 等 AI 助手及現有開發工作流程集成。

主要支援 Python 進行整合與開發，其核心推理引擎使用 OCaml 及專有的 Imandra 建模語言，但使用者可透過 API 與函式庫以 Python 為主進行操作。

應用於演算法交易審計、複雜金融協議（如 FIX/SWIFT）的形式化驗證，以及確保交易系統合規性與可靠性。

CodeLogician 不僅生成程式碼，更能透過自動推理驗證程式碼邏輯的正確性，提供可解釋的推理過程，實現對 AI 生成程式碼的智慧治理。