10 projects
imandrax-api
Imandrax API client library
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).
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.
iml-query
Tree-sitter based utility for parsing, querying, and manipulating IML (Imandra Model Language).
tree-sitter-iml
IML (Imandra Modeling Language) grammar for tree-sitter
imandrax-codegen
Code generator for ImandraX artifact
imandra
A CLI and API client library for interfacing with Imandra's web APIs
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.
