Skip to content

Actions: ReverseZoom2151/theoremata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
320 workflow runs
320 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(tui): behavioral audit against Codex, batch fixes for the papercuts CI #320: Commit cc310d6 pushed by ReverseZoom2151
2m 11s main
main
2m 11s
fix(tui): restore mouse copy, window the command popup, drop wheel ca… CI #319: Commit ec72665 pushed by ReverseZoom2151
2m 0s main
main
2m 0s
feat(tui): first-class proof-graph panel (Ctrl+G), @node mentions, an… CI #318: Commit 61fc25c pushed by ReverseZoom2151
1m 47s main
main
1m 47s
docs: mathematics-agent one-liner, feature-led, without the spec-shee… CI #317: Commit 7b537ab pushed by ReverseZoom2151
2m 3s main
main
2m 3s
feat(proving): auto-fallback to the hammer path when the model proof … CI #316: Commit 2150f3f pushed by ReverseZoom2151
1m 7s main
main
1m 7s
docs: tighten the one-liner into the Codex cadence CI #315: Commit 83de8ab pushed by ReverseZoom2151
1m 55s main
main
1m 55s
feat(tui): a startup welcome card and a boxed composer, so the layout… CI #314: Commit 5294702 pushed by ReverseZoom2151
1m 36s main
main
1m 36s
feat(tui): rebuild the cockpit as a transcript + composer with a non-… CI #313: Commit 7889c86 pushed by ReverseZoom2151
2m 0s main
main
2m 0s
docs(tui): Codex TUI study (input + render) and a synthesized redesig… CI #312: Commit ce465dc pushed by ReverseZoom2151
2m 31s main
main
2m 31s
fix(exec): quote each WSL argv argument so multi-word tool commands s… CI #311: Commit c7ba36d pushed by ReverseZoom2151
1m 55s main
main
1m 55s
docs: command reference as a list, not a table (sidesteps a noisy IDE… CI #310: Commit b941f07 pushed by ReverseZoom2151
2m 11s main
main
2m 11s
docs: how to run it on Windows (PowerShell, not WSL) and fix the tabl… CI #309: Commit 5ea91a1 pushed by ReverseZoom2151
1m 28s main
main
1m 28s
docs: lead with bare theoremata as the way in, and the real chat co… CI #308: Commit 9cecb8e pushed by ReverseZoom2151
4m 17s main
main
4m 17s
feat(tui): bare theoremata boots the agent chat, with in-chat proje… CI #307: Commit b3c7d85 pushed by ReverseZoom2151
1m 47s main
main
1m 47s
style: rustfmt the cockpit files so the fmt gate passes CI #306: Commit 378778d pushed by ReverseZoom2151
1m 44s main
main
1m 44s
feat(tui): an agentic chat cockpit, model picker and real actions CI #305: Commit fa0f070 pushed by ReverseZoom2151
1m 25s main
main
1m 25s
docs: lead with the interactive TUI, which the CLI-only guide omitted CI #304: Commit 2a32a5f pushed by ReverseZoom2151
2m 51s main
main
2m 51s
docs: how to run the agent against a local Ollama model CI #303: Commit 8715a6c pushed by ReverseZoom2151
1m 58s main
main
1m 58s
docs(demo): match the tape's doctor close and note the vhs Windows re… CI #302: Commit e504970 pushed by ReverseZoom2151
2m 34s main
main
2m 34s
docs: correct the demo commands to what the CLI actually accepts CI #301: Commit f61499c pushed by ReverseZoom2151
2m 15s main
main
2m 15s
docs: correct the demo commands to what the CLI actually accepts CI #300: Commit be1b776 pushed by ReverseZoom2151
59s main
main
59s
docs: add a VHS demo tape for the falsify-then-prove arc CI #299: Commit 3a86f7e pushed by ReverseZoom2151
1m 43s main
main
1m 43s
feat(provider): run local open-source models via Ollama, and fix a de… CI #298: Commit d206490 pushed by ReverseZoom2151
1m 57s main
main
1m 57s
docs: add a worked example, GitHub callouts, and real numbers CI #297: Commit 0f8af22 pushed by ReverseZoom2151
1m 27s main
main
1m 27s
docs: tighten the one-liner to what the product does CI #296: Commit 6159b42 pushed by ReverseZoom2151
2m 15s main
main
2m 15s