Skip to content

@Kernel-Science Kernel Science

All

    Repositories list

    5 repositories

    • physlib-website

      Public
      Physlib Website
      TypeScript
      •
      Apache License 2.0
      •2•1•0•0•Updated Sep 11, 2026Sep 11, 2026

    • physlibsearch

      Public
      Semantic search for PhysLib — the formal Lean 4 physics library. Find theorems and definitions using plain English.
      mathliblean4physlib
      mathliblean4physlibphyslean
      TypeScript
      •
      Other
      •2•9•0•0•Updated Aug 27, 2026Aug 27, 2026

    • agentic-theory-install

      Public
      Install the Agentic Theory VS Code extension — prove physics theorems in Lean 4 from your editor.
      Shell
      •0•0•0•0•Updated Aug 26, 2026Aug 26, 2026

    • metascience_platform

      Public
      Metascience Platform by Kernel Science SRL for FQXI
      TypeScript
      •
      MIT License
      •1•0•0•0•Updated Jun 18, 2026Jun 18, 2026

    • physlibsearch-skill

      Public
      Claude Code skill for PhyslibSearch — semantic search over the Physlib Lean 4 physics library
      1•4•0•0•Updated Apr 23, 2026Apr 23, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.