Popular repositories Loading

1. physlibsearch physlibsearch Public

   Semantic search for PhysLib — the formal Lean 4 physics library. Find theorems and definitions using plain English.

   TypeScript 7 1

2. physlibsearch-skill physlibsearch-skill Public

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

   3

3. metascience_platform metascience_platform Public

   Metascience Platform by Kernel Science SRL for FQXI

   TypeScript 1