mermaid-to-proverif
形式化验证密码协议安全。
过去 24 小时安装量增长最快的 AI Agent 技能排行。
第 117 页 · 共 8364 个 Skill
形式化验证密码协议安全。
开发iOS App Clips轻量应用。
分析竞争对手在App Store的关键词和策略差距。
帮你验证商业想法的可行性,先卖再做而不是先做再卖。
使用 CallKit 和 PushKit 实现 VoIP 通话功能。
帮你选择合适的营销获客渠道和策略。
帮你主持冲刺回顾会议。
帮你用GSAP实现网页滚动动画和时间线效果。
规划社交媒体内容发布日程和频率。
为 Instagram、TikTok、YouTube 等视觉平台的图片或视频写配文。
用深色主题、云平台风格的设计系统来搭建企业级仪表盘。
降低设计的视觉强度。
帮你从PDF文件中提取文本、表格和图片。
用 MCP 工具操作 Word、Excel、PDF 和 OCR。
帮你按规范编写React组件,选择合适的UI库。
使用 wt CLI 管理 git worktree 和钩子配置。
使用react-i18next管理LobeHub应用的国际化。
管理 Google、Meta 等平台的付费广告。
帮你写营销文案(标题、CTA、广告语)。
帮你按品牌规范检查和修改营销内容。
构建和审查 ASP.NET Core 应用,使用 Blazor、Razor Pages 或 Minimal APIs。
帮你将应用商店页面翻译到其他市场。
获取 Twitter/X 内容。
帮你实现iOS应用与其他平台间的数据迁移功能。
帮你开发iOS上的非WebKit浏览器引擎。
用Anime.js实现DOM和SVG的时间线动画效果。
优化 Google Play 商店列表,包括标题、描述、关键词和评分策略。
为网页添加轻量级 3D 效果、视差倾斜和动画背景。
用测试驱动开发先写测试再写代码。
为 AI 构建的应用生成可审查的交付文档集。
用 Wren CLI 查询 22+ 数据库,通过自然语言获取数据洞察。
审查界面设计并提供改进建议。
用 TypeGPU 或原生 WebGPU 为 HyperFrames 制作 GPU 渲染效果。
指导Node.js开发决策,包括框架选择和架构。
构建可投递的邮件,设置 SPF/DKIM/DMARC 认证,确保符合反垃圾邮件法规。
开发iOS和macOS应用,使用SwiftUI和并发。
审阅学术论文,识别问题并评估是否达到投稿标准。
运行完整的产品策略工作流。
用资深工程师视角审查 AI 生成的计划、方案和架构,诊断模糊或过于细节的问题并重写。
把Markdown文章转换成微信公众号可用的HTML格式。