Kernel-Science/physlibsearch-skill

Claude Code skill for PhyslibSearch — semantic search over the Physlib Lean 4 physics library

Open on GitHub

4Stars on the repository

1Mods indexed here, across every type

4mo agoLast push, which is what freshness is scored on

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

physlibsearch

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