LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Python

bubble

Containerized Lean 4 development environments

PythonEmerging

Stars

6

Forks

—

Contributors

1

Last push

2h ago

Recent commits

Latest commits.

fix: bump pinned codex CLI to 0.136.0 for current ChatGPT-account models (#311)
2c759f9Kim Morrison2h ago
feat: ship jq in the base image (#310)
566df12Kim Morrison2h ago
fix: resolve auth-proxy files against the daemon's fixed home, not the caller's BUBBLE_HOME (#304) (#305)
e24cb50Kim Morrison9h ago
fix: look up containers via separate remote/name tokens on non-default remotes (#303)
f3dcd0bKim Morrison11h ago
chore: bump version to 0.7.20
48558f2Kim Morrison11h ago

fix: read incus remote address from Addrs list, not Addr (#302)

22ea712Kim Morrison11h ago

feat: add a pi tool for OpenRouter-driven agents (#299)

15fe64fKim Morrison12d ago

fix: replace forkproxy reproducer with the one that actually reproduces (#298)

2b7a22fKim Morrison19d ago

Top contributors

Builders behind this project.