Kernel Science

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 9 2

2. physlibsearch-skill physlibsearch-skill Public

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

   4 1

3. physlib-website physlib-website Public

   Physlib Website

   TypeScript 1 2

4. metascience_platform metascience_platform Public

   Metascience Platform by Kernel Science SRL for FQXI

   TypeScript 1

5. agentic-theory-install agentic-theory-install Public

   Install the Agentic Theory VS Code extension — prove physics theorems in Lean 4 from your editor.

   Shell