Add context guide, skill files and dev scripts - #1132

Merged

anvacaru merged 14 commits into

claude-integration

Aug 12, 2026

Commits on Apr 9, 2026

draft context and skill files
anvacaru
committed
58a025a
context tweaks
anvacaru
committed
253abf3

Commits on Apr 14, 2026

add AGENTS.md and make CLAUDE.md a symlink
anvacaru
committed
38cb60f
Merge branch 'master' into claude-integration
anvacaru
authored
9d00ef3
tweaks to skills
anvacaru
committed
45ee90a

Commits on Apr 24, 2026

Merge branch 'master' into claude-integration
anvacaru
authored
defe43e

Commits on Aug 7, 2026

Fix typo in AGENTS.md

palinatolmach
and
juliankuners
authored
7a780a0
Update AGENTS.md to run `make check`

palinatolmach
and
juliankuners
authored
1de2bdf
fix(scripts): make goto_repo_root fail correctly outside a git repo

authored and
PT
committed
d8ba00d
docs(skills): add writing-kontrol-lemmas Claude Code skill

authored and
PT
committed
a04d85d
Merge remote-tracking branch 'origin/master' into claude-integration
palinatolmach
committed
012c9b1
Fix Claude merge
palinatolmach
committed
acf6092

Commits on Aug 12, 2026

Merge branch 'master' into claude-integration
anvacaru
authored
7902d85
skills/ CLAUDE.md: address minor findings
anvacaru
committed
4a9cad4