Search results

Py/client: catch typed session not found error properly

Status: Open.

#163 In imandra-ai/imandrax-api;

· hon-gyu opened on May 29, 2026

Opam packages have issues

Status: Open.

#122 In imandra-ai/imandrax-api;

· wintersteiger opened on Oct 2, 2025

Timeout issues

Status: Open.

#106 In imandra-ai/imandrax-api;

· wintersteiger opened on Jul 9, 2025

imandrax-api: automated release process

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#45 In imandra-ai/imandrax-api;

· bronsa opened on Nov 21, 2024

CI check for generated files

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#42 In imandra-ai/imandrax-api;

· bronsa opened on Nov 6, 2024

api: read-only sessions, copy sessions

Status: Open.

#34 In imandra-ai/imandrax-api;

· c-cube opened on Sep 26, 2024

make API more idempotent to allow for retries

Status: Open.

#33 In imandra-ai/imandrax-api;

· c-cube opened on Sep 26, 2024

api: when creating/re-opening session, include API type version in the message

Status: Open.

#32 In imandra-ai/imandrax-api;

· c-cube opened on Sep 26, 2024

notes for python API

A-python-API

enhancementNew feature or requestNew feature or request

Status: Open.

#28 In imandra-ai/imandrax-api;

· c-cube opened on Sep 20, 2024

cli commands to list/download artifacts as zip

Status: Open.

#11 In imandra-ai/imandrax-api;

· c-cube opened on Jun 12, 2024