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

Skill UI

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

Lean 数学定理形式化验证

lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
327
本技能使用 Lean 定理证明器开发和验证数学证明。它支持创建新证明、续写不完整项目以及审计现有形式化以确保符合原始陈述。通过将输入连接到引理、组装定理并检查公理，确保结果可重复。适用于需要形式验证的数学任务，而非普通草稿撰写。
查看详情

动态架构图生成器

live-panel
ythx-101/live-panel-skill
109
根据JSON配置生成终端风格的动态架构图，并输出为mp4视频或循环网页。适合制作系统、Agent树或组织架构图，外观类似监控面板，包含流动数据包、滚动日志和翻转计数器。支持深色终端和浅色粉彩主题，内置多种画布比例。
查看详情

本地进程接入 Kubernetes 集群

mirrord
sickn33/agentic-awesome-skills
188
使用 mirrord 让本地进程直接接入 Kubernetes 集群的网络、环境变量与流量，无需构建或部署镜像即可针对真实服务、数据库和队列验证代码改动，适合微服务本地调试与联调测试。
查看详情

绩效管理设置

performance-management
sickn33/agentic-awesome-skills
481
为中小企业设计最简绩效评估系统，涵盖周期、内容和流程。按需生成 CSV、SQL、JSON Schema 或 Notion 产物，引用 KPI 和 OKR 数据。适用于绩效评审、考核周期和员工评估跟踪。
查看详情

诉讼文件注入防护

pleading-injection-guard
lawve-ai/awesome-legal-skills
245
在AI读取法律文件（诉状、证据等）前，检测其中隐藏的提示注入内容。扫描PDF、Word、HTML、邮件附件中的隐形文字、Unicode走私和针对AI的指令。默认安全失败，可选集成钩子。
查看详情

读者优先技术编辑

reader-first-technical-edit
lawve-ai/awesome-legal-skills
237
面向非专业读者，编辑数学、实证或技术密集的论文，包括实证法律学术、法律经济学模型和法律技术研究。澄清术语、先行词、研究设计和主张与统计之间的关系，同时对照原文检查方程、数字、引文和引用。用于澄清表述或去技术化草稿，不用于重写诉状或理论论证。产出编辑稿和审计备忘录。完整的完整性检查和原始格式渲染需要合适的提取、代码执行和文档工具；否则提供拟议编辑并披露验证限制。
查看详情

员工表彰与奖励追踪

recognition-rewards
sickn33/agentic-awesome-skills
391
为中小企业建立最小化的员工表彰与奖励系统，记录员工表彰、奖励类型、类别、可见性和积分。可按需生成CSV、SQL DDL、JSON Schema或Notion映射，强调轻量、可执行的流程。
查看详情

代码仓库工程基础

repo-foundation
sickn33/agentic-awesome-skills
122
在现有代码仓库中实现功能、修复缺陷、进行契约迁移或续接未完成工作，同时保护用户未提交的修改与已授权的公开契约，遵循仓库既有约定并执行渐进式验证。
查看详情

仓库原生重构审查

repo-native-refactor
sickn33/agentic-awesome-skills
218
审查 diff、分支与 PR 的正确性、契约破坏与运行风险，或在获得授权后执行基于证据的清理重构，保留既有行为、公共契约与领域归属，产出最贴合目标仓库的最小一致改动。
查看详情

配置应用洞察

setup-app-insights
microsoft/power-platform-skills
402
为Power Apps移动应用配置可选的客户自有Application Insights遥测。可启用、更改或禁用现有Azure资源。独立运行或由/edit-app调用，仅涉及运行时配置。
查看详情

智能合约形式化验证

smart-contract-formal-verification
sickn33/agentic-awesome-skills
105
提供智能合约形式化验证框架，涵盖Foundry不变量模糊测试、符号执行与定理证明，用于定义安全属性、生成SQL/JSON校验模式并跟踪审计合规状态。
查看详情

智能合约升级治理

smart-contract-upgrade-governance
sickn33/agentic-awesome-skills
345
为 Soroban WASM 智能合约升级提供可审计的治理登记模型，强制时间锁、字节码哈希校验与多签授权，并导出 CSV、SQL DDL 和 JSON Schema 等标准化产物。
查看详情
上一页123...753754755756757758759...762763764下一页
语言
简体中文
English