職業分類
ソフトウェア開発者
説明
Native diagnostics/review/doctor entry. Use structured capability, inspection, and verification state instead of ad hoc summaries.
原文の言語: 英語
更新
epfl-lara/LeanFlow
SkillsMP は epfl-lara/LeanFlow から 8 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 8
- GitHub スター
- 5
- GitHub フォーク
- 0
このリポジトリの skills
1 件の職業カテゴリ · 100% 分類済み
収集済み skill 8 件中 8 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア開発者
説明
Native formalization workflow entry. Follow the formalize/draft specs, typed Lean tools, and queue-driven verification ladder.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Native proving workflow entry. Follow the prove/formalize specs, structured Lean tools, queue state, and router decisions instead of free-form proof guessing.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Auxiliary proof-strategy help for hard Lean theorem repairs. Use when repeated focused attempts fail and another configured model or command expert should advise without editing files or changing existing statements.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Native single-declaration queue entry. Obey the queue handoff exactly, use the shared Lean tools, and escalate through helper decomposition or reasoning help when local attempts stall.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Native Lean search entry. Use the shared `lean_search` surface first across local-project and Mathlib/semantic modes, with provider-aware fallbacks and result provenance.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Run a user-approved Lean swarm with clear file ownership, verifier roles, and strict zero-sorry verification.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Native refactor/golf routing entry. Load the linked workflow specs as the contract, preserve theorem meaning, and keep optimization inside the direct Lean tool surface.
原文の言語: 英語
更新
収集済み skill 8 件中 8 件を表示しています。