openfin-launchpad
OpenFinance Launchpad 是一个构建在 Meteora 动态联合曲线（DBC）上的 Solana 代币发射工具，可一键创建 SPL 代币、在联合曲线上买卖、曲线满后迁移并毕业到 DAMM v2 池。需先完成 openfin-setup 并配置 Solana 钱包。
Skill 广场
找到适合任务的 Agent Skill，阅读介绍并复制安装命令。
更新于 11-14 00:15
通用与其它
53,806 个结果
incident-retrospective
Incident Retrospective Drafter 是一个自动化配置，用于从 Slack 收集事件频道消息、从 Linear 汇总关联工单与后续事项，并将事件复盘草稿发布到 Notion。需先安装 Slack、Linear、Notion 三个 MCP 集成。
upcoming-release
OpenHands 仓库中的 upcoming-release 技能，用于在用户要求生成发布说明、列出即将发布 PR 或汇总即将发布内容时，根据两个提交 SHA 生成简洁的发布摘要。
sn-team-harness
SenseNova Team Harness 是一个自托管团队协作工作区，让人类成员与本地 AI Agent 在同一空间内讨论、分配待办、执行工作并交付成果。支持 @Agent、WorkItem、Resource 与 Artifact，成果可版本化审核，凭据与文件留在本地电脑。需自托管，暂无生产部署方案。
asset-creator
asset-creator 是 outscal/video-generator 中的一项技能，用于绘制各类视觉素材，涵盖 logo、图标、定制图形与角色，并给出 SVG 绘制规范与参考图标获取流程。
analytic-functions
面向复分析中解析函数问题的求解技能，提供判断解析性、验证柯西-黎曼方程、计算幂级数与解析延拓等策略，并给出 SymPy、Z3 等工具命令。
banach-spaces
面向泛函分析中巴拿赫空间问题的解题技能，提供判别与验证巴拿赫空间、应用哈恩-巴拿赫定理、开映射定理、闭图像定理和一致有界原理等策略，并配合 Z3 与 SymPy 命令辅助证明与符号计算。
boundary-value-problems
解决常微分方程与偏微分方程边值问题的技能，涵盖打靶法、有限差分法、配点法与 Sturm-Liouville 特征值问题，并提供 scipy、sympy、z3 等工具命令。
channel-capacity
channel-capacity 是一个用于信息论中信道容量问题的求解策略技能，涵盖互信息、信道模型、常见信道容量公式及 Blahut-Arimoto 算法，并提供 scipy、sympy、z3 等工具命令辅助计算与证明。
compactness
用于拓扑学中紧致性（compactness）问题的求解技能，提供判定思路、常用定理、后果推导与配套命令行计算工具，帮助分析空间是否紧致及相关极值问题。
connectedness
面向拓扑学连通性问题的解题技能，提供反证法、路径连通与扇引理等策略，并给出 Z3、SymPy 命令辅助证明与验证。
contour-integrals
面向复分析中围道积分问题的解题策略技能，提供积分类型选择、围道设置、Jordan 引理与留数定理等思路，并给出 SymPy 计算命令。
eigenvalues
面向线性代数特征值问题的求解技能，提供特征多项式、特征值与特征向量的计算流程，并可用 Z3 验证 Av=lambda*v 及代数/几何重数。
fields
面向抽象代数中“域（fields）”问题的求解技能，提供判定域、域扩张、特征、代数元等策略，并给出 Z3 与 SymPy 脚本命令。
graph-algorithms
面向图数论中图算法问题的求解策略技能，提供遍历、最短路、最小生成树、网络流与图性质等算法选择指引，并给出 SymPy、Z3 等工具命令示例。
groups
面向抽象代数中群论问题的解题技能，提供群公理、子群判定、同态证明、阶与结构等决策树，并给出 z3_solve.py、sympy_compute.py 等工具命令辅助验证。
hilbert-spaces
面向泛函分析中希尔伯特空间问题的解题技能，提供正交分解、投影定理、Riesz表示、Parseval恒等式与Bessel不等式等策略，并给出sympy与z3的验证命令。
integration-theory
面向测度论中积分理论的问题求解技能，提供简单函数积分、单调收敛定理、控制收敛定理、Fatou 引理与 Fubini-Tonelli 的判定思路，并给出 sympy 与 z3 脚本命令。
lebesgue-measure
该技能面向测度论中的勒贝格测度问题，提供一套解题策略与工具命令。内容涵盖外测度构造、卡拉泰奥多里可测性判据、勒贝格测度的平移不变性与可数可加性、区间测度公式，以及内正则性与外正则性定理。技能附带 SymPy 与 Z3 的命令示例，用于符号计算外测度求和、证明卡拉泰奥多里判据、化简博雷尔集相关表达式。资料还摘录了测度论教材中关于勒贝格可测集与博雷尔集关系的讨论，并给出课程章节安排建议。适用于学习或研究实分析、测度论时辅助推导与验证。
limits
面向实分析中极限问题的求解技能，提供直接代入、代数变形、洛必达法则、夹逼定理与ε-δ证明等策略，并给出 SymPy、Z3 等工具命令。
limits-colimits
范畴论中极限与余极限的问题求解技能，提供识别极限类型、验证泛性质、具体计算与保持性判断的策略，并给出 Lean 4 与 SymPy 工具命令。
matrices
面向线性代数矩阵问题的求解技能，提供矩阵类型判断、基本运算、线性方程组求解与 LU、QR、SVD 分解等策略，并给出对应的 sympy_compute.py 命令用法。
modular-arithmetic
面向图数论中模算术问题的求解技能，提供扩展欧几里得、中国剩余定理、欧拉定理、二次剩余、阶与原根等策略，并给出 SymPy 与 Z3 工具命令。
natural-transformations
该技能面向范畴论中的自然变换（natural transformations）问题，提供一套问题求解策略与决策树。内容涵盖自然性验证、分量分析、自然同构、函子范畴以及米田引理的应用，并给出对应的 Lean 4 代码写法与工具命令，如 naturality、NatTrans 定义、yonedaEquiv 及 lake build 编译验证。适用于在 Lean 4 与 Mathlib 环境下处理自然变换相关证明与构造的场景。