mathlib plugins

The directory indexes 8 plugins tagged “mathlib” from 1 public source repositories, with 8 skills and 0 MCP servers across the collection.

8 plugins1 repositories0 cross-runtimeIndexing methodology →

tag: mathlib Clear all

bootstrap-project
by Christopher Boone
Assess a repository, determine what scaffolding and setup tools are needed, present a plan, and execute them in the correct order.
Claude Code1 Skill
2Updated last week
bootstrap-project
by Christopher Boone
Assess a repository, determine what scaffolding and setup tools are needed, present a plan, and execute them in the correct order.
Claude Code1 Skill
2Updated last week
scaffold-lean-library
by Christopher Boone
Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.
Claude Code1 Skill
2Updated last week
scaffold-lean-library
by Christopher Boone
Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.
Claude Code1 Skill
2Updated last week
write-lean-code
by Christopher Boone
Lean 4 style guide and Mathlib conventions for naming, proofs, formatting, and metaprogramming.
Claude Code1 Skill
2Updated last week
write-lean-code
by Christopher Boone
Lean 4 style guide and Mathlib conventions for naming, proofs, formatting, and metaprogramming.
Claude Code1 Skill
2Updated last week
write-lean-tests
by Christopher Boone
Conventions for compile-time, example-based Lean 4 API regression tests that mirror a library's public surface.
Claude Code1 Skill
2Updated last week
write-lean-tests
by Christopher Boone
Conventions for compile-time, example-based Lean 4 API regression tests that mirror a library's public surface.
Claude Code1 Skill
2Updated last week