Repository navigation

Claude Code integration - #394

Merged

ScriptRaccoon merged 7 commits into

mainfrom

claude-integration

Oct 4, 2026

Commits on Oct 4, 2026
- remove github copilot skills
  ScriptRaccoon
  committed
  d0a2f8f
- add script to list structure properties in terminal
  ScriptRaccoon
  committed
  af55a22
- update AI guideline
  ScriptRaccoon
  committed
  d52ea16
- add project memory for Claude
  ScriptRaccoon
  committed
  510657c
- add Claude skill: find structure proofs
  ScriptRaccoon
  committed
  74f998b
- add to skill: aim for right generality
  ScriptRaccoon
  committed
  34121a7
- refactor combinations script: no need to pass the type anymore
  ScriptRaccoon
  committed
  611776b