brainstorming
brainstorming
You MUST use this before any creative work - creating features, building components, adding functionality, modifying behavior, or planning anything new, in software or out of it (a talk, a business, a renovation).
スキルを探す
開発・技術 · SKILL.md
lean-formalization
lean-formalizationUse for interactive Lean 4 formal verification by coding agents with reusable Lean/mathlib workspaces, theorem formalization, proof repair, sorry completion, patch review, optional adapter-first Lean-specialist backend work, and minimal failure handoff.
Independent GitHub snapshot · Automated classification · Original documentation governs
スキルの説明
GitHub説明を読み込み中…