SkillsAdd

beita6969/scienceclaw

lean4-prover

Lean 4 theorem prover for formal verification. Use when: formal theorem proving, mathematical verification, proof search, type theory exploration. NOT for:…

First seen Apr 6, 2026

Installation

$ npx skills add https://github.com/beita6969/scienceclaw
View on skills.sh ↗ GitHub repository ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

claude-md-improver Similar name
anthropics/claude-plugins-official

Audit and improve CLAUDE.md files in repositories. Use when user asks to check, audit, update, …

10.6K installs
skill-improver Similar name
trailofbits/skills

Runs an autonomous review-and-fix improvement loop over a Claude Code skill until a review come…

4.3K installs
mermaid-to-proverif Similar name
trailofbits/skills

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal ver…

3.1K installs
prompt-improver Similar name
dotneet/claude-code-marketplace

A skill for improving prompts by applying general LLM/agent best practices. When the user provi…

504 installs
claude-md-improver Similar name
secondsky/sap-skills

Audit and improve CLAUDE.md files in repositories.

382 installs
skill-improver Similar name
galaxy-dawn/claude-scholar

This skill should be used when the user asks to "apply skill improvements", "update skill from …

349 installs

Also in this package

Other skills from beita6969/scienceclaw · top by installs.

npx skills add https://github.com/beita6969/scienceclaw
biostatistics 38 epidemiology 34 bioinformatics 33 food-science 30 materials-science 28 environmental-science 27 education-research 27 academic-deep-research 26 psychology-research 26 physics-solver 25

Browse all from beita6969/scienceclaw

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 895
License LICENSE
Default branch main
Open issues 1
Status Active

History

  1. First seen on skills.sh
  2. First recorded snapshot · 19 installs