10 projects
ponens
Author, govern, and validate reasoning traces — the open CLI for the reasoning-policies ecosystem
imandrax-api-models
Pydantic model definitions for imandrax-api. Also provides a client wrapper with built-in validation and utility methods.
codelogician
CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself.
imandrax-tools
Umbralla package bundling imandrax-api-models and iml-query. Also provides miscellaneous utilities (goal state formatting, rec knowledge base).
imandrax-api
Imandrax API client library
tree-sitter-iml
IML (Imandra Modeling Language) grammar for tree-sitter
speclogician
SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis.
iml-query
Tree-sitter based utility for parsing, querying, and manipulating IML (Imandra Model Language).
imandrax-codegen
Code generator for ImandraX artifact
imandra
A CLI and API client library for interfacing with Imandra's web APIs
