登录
软件下载 帮助文档 新闻资讯

Skill UI

浏览并发现 15857+ 精选技能
全部 编程开发 人工智能 设计创意 产品商业 数据科学 市场营销 职场通用 效率工具 硬件工程 语言学习
搜索 Cal ，共找到 7432 条记录
默认排序 最新上传 最多下载

文档到数学问题规范提取

doc2math
sickn33/antigravity-awesome-skills
347
这是一个高级技能，用于将叙述性的技术文档、研究论文节选或自然语言问题描述，系统地转化为结构化的数学问题规范（MPS）。它能够精确提取变量、约束条件、优化目标和不确定性参数，并严格遵循零推理协议，确保所有输出内容均有原文证据支撑，适用于工程和数据科学领域的模型构建。
查看详情

严谨推理与证据校准

from-the-other-side-anitta
github/awesome-copilot
352
这是一个严谨的思考模型，旨在挑战假设、分离证据与解读，确保所有结论都具有高度的证明力。它指导用户明确决策目标、评估证据的完整性，并使用反事实思维对推理链进行压力测试，特别适用于决策成本高、风险大的项目。
查看详情

项目推进协作构建者角色设定

from-the-other-side-quinn
github/awesome-copilot
464
此角色设定为“Quinn”，一个协作式的AI伙伴，专注于项目执行和流程推进。Quinn的特点是好奇、活力、实干，擅长将想法转化为可验证的实际工作成果。她能帮助用户保持工作动能，专注于技术实现和迭代，确保学习过程能直接转化为可交付的产出。
查看详情

高级GitHub CI/CD工作流自动化

github-actions-advanced
sickn33/antigravity-awesome-skills
213
本技能提供生产级GitHub Actions工作流的专家指导，涵盖设计、调试和安全加固。内容包括可重用工作流、矩阵构建、自托管Runner、OIDC认证、秘密管理和复杂触发器（如schedule, workflow_call）。适用于自动化复杂的构建、测试和部署流程。
查看详情

Go语言技能编排与管理

golang-how-to
samber/cc-skills-golang
436
这是一个全面的Go语言开发任务编排器。它能够分析任务上下文，无论是设计API、调试程序还是进行安全审计，并自动加载所有相关的专业技能组合。本技能专为AI代码代理设计，确保复杂任务不会依赖于单一技能，从而大幅提升了代码处理的覆盖面和准确性。
查看详情

不变式守卫：代码正确性设计

invariant-guard
sickn33/antigravity-awesome-skills
309
不变式守卫（Invariant-Guard）是一种代码设计方法，要求开发者在编写任何复杂算法前，必须先定义函数的完整契约、循环不变量、终止参数和所有边界情况。它强制实现“正确性优先”的思维，用于解决难以用常规测试覆盖的微妙逻辑错误，确保代码具备数学上的严谨性和可验证性。
查看详情

算法设计先行校验

lemmaly
sickn33/antigravity-awesome-skills
390
该技能强制执行“算法先行”的开发纪律。在使用循环、查询、递归等写复杂代码前，必须首先明确并声明时间复杂度（Big-O）、所需数据结构和核心算法族群。它是一个关键的性能守门员，用以防止常见的O(n²)复杂度、N+1查询和蛮力实现错误，极大地提高了代码的健壮性和效率。
查看详情

本地文档结构化与PDF解析

liteparse
K-Dense-AI/scientific-agent-skills
268
LiteParse是一个快速、开源且本地化的文档解析器，专注于从PDF、图片和Office文件提取具备空间信息的文本。它能输出带边界框（bounding box）的结构化JSON数据，非常适合构建高级RAG系统、知识库构建和复杂数据流水线，无需依赖任何云API，支持OCR和批量处理。
查看详情

Markdown转交互式HTML生成器

markdown-html-orchestrator
alirezarezvani/claude-skills
453
该工具是一个领域编排器，用于将复杂的Markdown内容（如长篇规格报告、代码审查或演示文稿）转换为单一文件、具轻度交互性的HTML文档。它能自动、确定性地分类输入内容类型，并将其路由到相应的专用转换子技能，确保输出的结构和信息密度远超纯Markdown的限制。
查看详情

高级数学算法优化

mathguard
sickn33/antigravity-awesome-skills
389
此技能用于在经典算法已达到最优边界时，通过引入高级数学理论和概率数据结构（如Bloom Filter、HyperLogLog、FFT等）来提升算法的渐进性能。适用于处理超大规模数据集，突破传统算法复杂度限制，前提是能够接受明确定义的近似误差。
查看详情

权限补丁落地应用门控

meta-apply
wanshuiyin/Auto-claude-code-research-in-sleep
175
该技能是应用自修改补丁到技能代码库的关键、高权限门控。它强制执行“补丁提议”与“补丁落地”的严格分离。应用过程必须由用户手动触发，并在落地时强制运行一次全新的、跨模型的评审，以确保改变的完整性和安全性，防止应用未经授权或可能存在缺陷的修改。
查看详情

AI颠覆风险与防御策略分析

moatmri
sickn33/antigravity-awesome-skills
342
本工具用于分析人工智能对行业或特定商业模式的潜在颠覆风险。它通过10个关键维度（如劳动力替代、数据壁垒等）评估竞争暴露度，并提供详细的90天防御行动计划，是进行战略尽职调查和应对AI时代市场变化的高效工具。
查看详情
上一页123...306307308309310311312...618619620下一页
语言
简体中文
English