Ohad Livne

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-07 20:05:16 +00:00

c2430308c7 Rename workflow steps for lexical order

77b25c461e Scope some workflow steps to individual features

53e83a666b Update Claude WebFetch permissions

16b89024b5 Update Claude settings

Compare 4 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-07 13:25:02 +00:00

65d8a4677c Add human-in-the-loop interactivity to the implementation step

eeb5e6159e Fix instruction order in the spec-formalization step

de599d1850 Add a hint argument to more steps in the spec-driven workflow

24de9f41a4 Explicitly ensure all used packages

Compare 4 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-07 13:24:21 +00:00

84bbec5ece Track Claude personalization settings

1976c2cb8b Update Claude settings

9b59151d13 Teach Emacs to generate UUID (version 4) identifiers

c219b95dbd Add a skill for profiling and optimization

17286e6f60 Track Claude Code settings

Compare 18 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-23 20:03:45 +00:00

cf3c2fe9ed Track Claude personalization settiongs

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-23 20:02:44 +00:00

48f0deaaba Update Claude settings

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-14 22:52:19 +00:00

9cf57426b2 Teach Emacs to generate UUID (version 4) identifiers

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-12 06:49:17 +00:00

bc162d3c4e Add a skill for profiling and optimization

2c3014dcc1 Track Claude Code settings

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-12 06:43:52 +00:00

57e8b815be Add a skill for profiling and optimization

6d96354652 Track Claude Code settings

3386ce72c3 Create a TDD workflow for Claude Code

b7ad416928 Clone Lilypond from the upstream repository and support updates

320322d48b Create an optional hook system for externally-managed verification

Compare 9 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-10 16:59:36 +00:00

51ff9e2572 Create an optional hook system for externally-managed verification

bb7422f4c0 Write a workflow for formal spec-driven development based on TLA+

c2f2d4e857 Install TLAPS for stronger verification of TLA+ models

ca7c6be4fe Support installing a specific project release

Compare 4 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-10 10:10:41 +00:00

f193d626ab Install the TLA+ toolchain as CLI tools

f7642dc396 Install the Java development environment

049c8854a0 Use Rust via the rustup toolchain

9173b92ea9 Install the F* toolchain

0e61f5f32f Support dynamic resource selection

Compare 7 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-06 22:35:24 +00:00

26bc0cba83 Install boto3 type stubs in the pylsp environment

445e653d22 Read arrays cleanly

aa92f5c88a Handle failures updating Git repo packages gracefully

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-06 22:27:41 +00:00

7c036ccd7f Install the Kingfisher service image for secret detection

b77c518b79 Disable the testcontainers reaper service by default

a0f7abdd9d Create a script to clean up dangling buildah containers

2c4ded838a Install agentbox from the live git repo

b26eea3f57 Create a script for listing and selecting urgent windows in sway

Compare 75 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-15 20:26:02 +00:00

f0d9d8891a Install the Kingfisher service image for secret detection

c5d3f37222 Disable the testcontainers reaper service by default

5c701586d8 Create a script to clean up dangling buildah containers

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-12 20:30:11 +00:00

bf92740823 Install agentbox from the live git repo

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-09 22:03:13 +00:00

7e6272540d Create a script for listing and selecting urgent windows in sway

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-07 22:32:04 +00:00

39250fd4f2 Give visual cues on terminal bell

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-07 21:22:36 +00:00

d1e206805b Replace pipx with uv for installing Python-based tools

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-03 21:09:54 +00:00

a37fa4f0d7 Integrate Emacs package updates into the system upgrade script

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-03 20:40:30 +00:00

ce00fe50dc Install docker type stubs in the lsp venv

ff41e71ed5 Ensure mounted directories exist

3d40752a91 Clean images after updates

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-29 22:26:55 +00:00

c0740c39f8 Enable auto updates for the service containers