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.
☆ 1查看技能
nathanial AI Skills
GitHub ↗浏览 nathanial 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
11收录技能的仓库 Stars 合计
1仓库 Forks
0平均每个技能的仓库 Stars
0同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
GitHub
ffi-bindings
Create FFI bindings between Lean 4 and C code. Use when working with foreign functions, native libraries, Metal, or system APIs.
☆ 0查看技能
GitHub
new-project
Scaffold a new Lean 4 project in the workspace. Use when creating a new project, library, or application.
☆ 0查看技能
GitHub
collimator-optics
Use profunctor optics from the Collimator library for Lean 4. Use when working with lenses, prisms, traversals, or nested data access.
☆ 0查看技能
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.
☆ 0查看技能
GitHub
add-dependency
Add a dependency to a Lean project's lakefile. Use when adding requires, dependencies, or imports to a project.
☆ 0查看技能
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.
☆ 0查看技能
GitHub
library-docs
Write prosaic, narrative-style documentation for Lean 4 libraries. Use when creating README files, user guides, tutorials, or comprehensive library documentation.
☆ 0查看技能
GitHub
release
Release a Lean project with tier-aware dependency ordering. Use when releasing, versioning, tagging, or publishing a project in the workspace.
☆ 0查看技能
GitHub
work-issue
Start working on a tracked issue. Use when beginning work on an issue, logging progress, or managing issue workflow.
☆ 0查看技能
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...
☆ 0查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。