Pre-release

This release is a pre-release and may not be stable for production use.

CodeLogician

CodeLogician is the neurosymbolic agentic governance framework for AI-powered coding.

It helps your coding agent think logically about the code it's producing and test cases it's generating. The fundamental flaw that all LLM-powered assistants have is the reasoning they're capable of is based on statistics, while you need rigorous logic-based automated reasoning.

  • Generated code is based on explainable logic, not pure statistics
  • Generated test cases are generated come with quantitative coverage metrics
  • Generated code is consistent with the best security practices leveraging formal verification

To run CodeLogician, please obtain an Imandra Universe API key available (there's a free starting plan) at Imandra Universe and make sure it's available in your environment as IMANDRA_UNI_KEY.

Three typical workflows:

  1. DIY mode - this is where your agent (e.g. Grok) uses the CLI to:
  • Learn how to use IML/ImandraX via doc command (e.g. codelogician doc --help)
  • Synthesizes IML code and uses the eval command to evaluate it
  • If there're errors, use codelogician doc view errors command to study how to correct the errors and re-evalute the code
  1. Agent/multi-agent mode - CodeLogician IML Agent is a Langgraph-based agent for automatically formalizing source code into Imandra Modeling Language (IML).
  • With agent command you can formalize a single source code file (e.g. codelogician agent PATH_TO_FILE)
  • With multiagent command you can formalize a whole directory (e.g. codelogician agent PATH_TO_DIR)
  1. Server
  • This is a "live" and interactive version of the multiagent command
  • It monitors the filesystem and fire's off formalization tasks on source code updates as necessary
  • You can start the server and connect to it with the TUI (we recommend separate terminal screens)

Learn more at CodeLogician!

To get started,

codelogician --help

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Stable release available (2.17.0)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for imandra from gravatar.com imandra

Credits

Author: hongyu

Requires

Python <3.14, >=3.12

Provides Extra

codegen widget

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

codelogician-2.18.0rc1.tar.gz (111.2 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

codelogician-2.18.0rc1-py3-none-any.whl (149.5 kB view details)

Uploaded Python 3

File details

Details for the file codelogician-2.18.0rc1.tar.gz.

File metadata

  • Download URL: codelogician-2.18.0rc1.tar.gz
  • Upload date:
  • Size: 111.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.8.22

File hashes

Hashes for codelogician-2.18.0rc1.tar.gz
Algorithm Hash digest
SHA256 f359a3827b7f7b318faf19d6df3789899a48d5485dac7aa0bf8316b45a7a67f9
MD5 f7656e9a8ce474d458b53a966ff98183
BLAKE2b-256 32526d80cc96cbc42fb3cb888b550d8f9766afa95e6ef1fc203a997ea4d616ed

See more details on using hashes here.

File details

Details for the file codelogician-2.18.0rc1-py3-none-any.whl.

File metadata

File hashes

Hashes for codelogician-2.18.0rc1-py3-none-any.whl
Algorithm Hash digest
SHA256 89d3bfdc12a9c5da0c4343bf89cf5efec76e8e0564df588ee778f899a038bbc5
MD5 23d8ac8e559bf6b4deb6ee1a97771de3
BLAKE2b-256 8e4457c578eb00d4a98dbe851b07d43e975ea99d1183377235b1030cd3de80a6

See more details on using hashes here.

Release history Release notifications | RSS feed

This release
Pre-release

2.18.0rc1 This release

2 files

2.17.0

2 files

2.16.0

2 files

2.15.3

2 files

2.15.2

2 files

2.15.1

2 files

2.15.0

2 files

2.14.0

2 files

2.13.1

2 files

2.13.0

2 files

2.12.0

2 files

2.11.1

2 files

2.11.0

2 files

2.10.1

2 files

2.10.0

2 files

2.9.4

2 files

2.9.3

2 files

2.9.2

2 files

2.9.1

2 files

2.9.0

2 files

2.8.0

2 files

2.7.3

2 files

2.7.2

2 files

2.7.1

2 files

2.7.0

2 files

2.6.1

2 files

2.6.0

2 files

2.5.0

2 files

2.4.0

2 files

2.3.2

2 files

2.3.1

2 files

2.3.0

2 files

2.2.1

2 files

2.2.0

2 files

2.1.0

2 files

2.0.3

2 files

2.0.2

2 files

2.0.1

2 files

Pre-release

2.0.0b11

2 files

Pre-release

2.0.0b10

2 files

Pre-release

2.0.0b9

2 files

Pre-release

2.0.0b8

2 files

Pre-release

2.0.0b7

2 files

Pre-release

2.0.0b6

2 files

Pre-release

2.0.0b5

2 files

Pre-release

2.0.0b4

2 files

Pre-release

2.0.0b3

2 files

Pre-release

2.0.0b2

2 files

Pre-release

2.0.0b1

2 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page