Codelogician / ImandraX Agent Harness

Common utilities for interacting with ImandraX / IML, for both humans and LLMs.

Name		Name	Last commit message	Last commit date
Latest commit History 1,069 Commits
.github/workflows		.github/workflows
docs		docs
packages		packages
scripts		scripts
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
dune		dune
dune-project		dune-project
dune-workspace		dune-workspace
justfile		justfile
mkdocs.yml		mkdocs.yml
pyproject.toml		pyproject.toml
uv.lock		uv.lock

Provide feedback