Kernel-Science/physlibsearch-skill
Skill Claude CodeCodex
Semantic search over Physlib, a formal Lean 4 library of physics theorems and definitions. Use when asked to find Lean 4 declarations related to physics or mathematics, look up formal proofs, retrieve theorem signatures, or browse the Physlib module hierarchy.
4 4mo ago A 56 tokens