GitHub
collimator
Guide for using Collimator, a profunctor optics library for Lean 4. Use when writing code with lenses, prisms, traversals, or when accessing/modifying nested data structures.
☆ 1View skill
nathanial AI Skills
GitHub ↗Browse published AI skills maintained by nathanial. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
11Repository stars across indexed skills
1Repository forks
0Average repository stars per indexed skill
0Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
ffi-bindings
Create FFI bindings between Lean 4 and C code. Use when working with foreign functions, native libraries, Metal, or system APIs.
☆ 0View skill
GitHub
new-project
Scaffold a new Lean 4 project in the workspace. Use when creating a new project, library, or application.
☆ 0View skill
GitHub
collimator-optics
Use profunctor optics from the Collimator library for Lean 4. Use when working with lenses, prisms, traversals, or nested data access.
☆ 0View skill
GitHub
terminus-apps
Build terminal user interface (TUI) applications using the Terminus library for Lean 4. Use when creating games, interactive tools, or apps with keyboard/mouse input.
☆ 0View skill
GitHub
add-dependency
Add a dependency to a Lean project's lakefile. Use when adding requires, dependencies, or imports to a project.
☆ 0View skill
GitHub
crucible-tests
Write unit tests using the Crucible test framework for Lean 4 projects. Use when creating tests, adding test files, or when the user mentions Crucible, unit tests, or testing Lean code.
☆ 0View skill
GitHub
library-docs
Write prosaic, narrative-style documentation for Lean 4 libraries. Use when creating README files, user guides, tutorials, or comprehensive library documentation.
☆ 0View skill
GitHub
release
Release a Lean project with tier-aware dependency ordering. Use when releasing, versioning, tagging, or publishing a project in the workspace.
☆ 0View skill
GitHub
work-issue
Start working on a tracked issue. Use when beginning work on an issue, logging progress, or managing issue workflow.
☆ 0View skill
GitHub
reactive-frp-frame-semantics
Understanding frame nesting behavior in the Reactive FRP library. Use when: (1) triggers inside callbacks don't seem to propagate, (2) sample returns initial values instead of accumulated values, (3) foldDyn do...
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.