Physlibsearch Skill

physlibsearch — Claude Code Skill

A [Claude Code](https://claude.ai/code) skill that gives any Claude agent full knowledge of the [PhyslibSearch](https://physlibsearch.net) API — semantic search over [Physlib](https://physlib.io), a formal Lean 4 physics library.

Once installed, an agent can find theorems, definitions, and proofs by natural language description, fetch declarations by Lean name, and browse the module hierarchy — without any extra configuration.

Install

Claude Code — CLI, Desktop, VS Code, JetBrains

All Claude Code surfaces (terminal CLI, Mac/Windows desktop app, VS Code extension, JetBrains extension) share the same `~/.claude/skills/` directory. One command installs the skill for all of them:

mkdir -p ~/.claude/skills/physlibsearch && curl -fsSo ~/.claude/skills/physlibsearch/SKILL.md \
  https://raw.githubusercontent.com/Kernel-Science/physlibsearch-skill/main/SKILL.md

Then invoke with `/physlibsearch` in any Claude Code session, or just ask Claude to find a Lean theorem — it will load the skill automatically.

Claude app (claude.ai)

The Claude web/desktop app supports uploading custom skills directly:

1. Open SKILL.md and save the file locally.
2. In the Claude app, go to Settings → Skills (or the skills section of a Project).
3. Upload SKILL.md — the app reads the name and description frontmatter automatically.

If your version of the app does not yet have a Skills upload UI, paste the raw contents of `SKILL.md` into the **Custom instructions** field of a Project instead.

Cursor

**User-level** (all projects): open **Cursor Settings → Rules for AI** and paste the contents of [`SKILL.md`](https://raw.githubusercontent.com/Kernel-Science/physlibsearch-skill/main/SKILL.md).

**Project-level**: create `.cursor/rules/physlibsearch.mdc` in your repo root:

mkdir -p .cursor/rules && curl -fsSo .cursor/rules/physl