John T. Myers 3dd6d51c26 fix(cli): use local z3 in dev wrapper (#805) ...

* fix(cli): use local z3 in dev wrapper

Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com>

* fix(docker): add openshell-prover to Dockerfile skeleton stages

---------

Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com>

2026-04-10 13:36:19 -07:00

..

k9s

refactor: rename navigator- crate prefix to openshell- (#277)

2026-03-13 02:02:18 -07:00

kubectl

refactor: rename navigator- crate prefix to openshell- (#277)

2026-03-13 02:02:18 -07:00

openshell

fix(cli): use local z3 in dev wrapper (#805)

2026-04-10 13:36:19 -07:00

openshell-vm

feat(vm): add openshell-vm crate with libkrun microVM gateway (#611)

2026-04-08 22:00:01 -07:00