微信扫一扫personjakexiao无需 Key
skill-model-checker
使用Z3 SMT求解器的ModelChecker研究和开发语义理论。定义操作符，调整框架约束，创建示例，运行测试，并报告发现结果。在与模型检查器、语义理论或Z3约束工作时，可以使用/mc调用。
download13deployed_code—star123
Skill 资源库
AI Skill 资源库
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
personjakexiao无需 Key
skyrim-archive
读取、提取、创建和编辑BSA/BA2存档。当用户想要打包模组资源、从现有模组中提取文件、检查存档内容或修改存档（添加/删除/替换文件）时使用。
download13deployed_code—star123
personjakexiao无需 Key
skriptoteket-frontend-specialist
Skriptoteket前端开发（FastAPI后端+完整的Vue/Vite单页应用）使用与HuleEdu对齐的技术栈（Vue 3.5.x + Vite + TypeScript, Pinia, Vue Router, Tailwind CSS v4 tokens/@theme, HuleEdu设计令牌, pnpm）。用于在`frontend/` pnpm工作空间中工作，SPA托管/历史回退，实现…
download13deployed_code—star123
personjakexiao无需 Key
slack-task-manager
Slack搜索、TODO提取和任务管理的子代理。从多个数据源中提取任务并进行优先级排序。可以通过“搜索Slack”、“提取任务”、“确认TODO”、“确认提及”等请求触发。
download13deployed_code—star123
personjakexiao无需 Key
smart-fork
智能分叉 - 通过在claude-mem、memvid、handoffs和账本中并行搜索记忆，找到并从相关的历史会话中分叉
download13deployed_code—star123
personjakexiao无需 Key
snapas
Snap.as API 文档
download13deployed_code—star123
personjakexiao无需 Key
snowflake-query
使用Python连接器对Snowflake数据仓库执行SQL查询。支持密码、密钥对以及SSO/OAuth认证。可用于即席查询、数据提取和模式探索。输出格式为JSON、表格或CSV。
download13deployed_code—star123
personjakexiao无需 Key
solidity-development
Solidity智能合约开发工作流程。在修改apps/erc20-token/contracts/目录下的智能合约时使用。
download13deployed_code—star123
personjakexiao无需 Key
skill-refactorer
整理和压缩SKILL.md文件的技能。应用7种重构模式作为检查清单，将SKILL.md作为编排器压缩至100行以内。触发词：技能整理, SKILL.md压缩, 技能重构, skill refactor, refactor skill
download13deployed_code—star123
personjakexiao无需 Key
skyrim-skse
创建和管理SKSE C++插件项目。当用户想要创建原生插件、添加Papyrus原生函数或在原生级别扩展《上古卷轴5：天际》的功能时使用。
download13deployed_code—star123
personjakexiao无需 Key
skyrim-esp
创建和修改《上古卷轴5：天际》插件文件（.esp/.esl）。当用户想要创建模组、添加武器、盔甲、法术、技能、书籍、任务、NPC、NPC AI包（36种类型，实现完全行为控制）、派系、全局变量、等级列表、遭遇区域、地点、服装或表单列表到插件时使用。包括任务别名、脚本属性管理、类型检查和详细分析。同样适用于用户希望查看现有记录、创建覆盖补丁、跨插件搜索记录、管理技能条件、比较记录版本或检测加载顺序冲…
download13deployed_code—star123
personjakexiao无需 Key
sleeptrack-ios
此技能帮助iOS开发者集成Asleep SDK以实现睡眠追踪功能。在使用Swift/SwiftUI构建需要睡眠追踪能力的原生iOS应用时，或者在实现代理模式、配置iOS权限（麦克风、通知、后台模式）、管理追踪生命周期、集成Siri快捷指令或使用Combine框架进行响应式状态管理时，请使用此技能。
download13deployed_code—star123
personjakexiao无需 Key
smart-docs
由AI驱动的全面代码库文档生成器。分析项目结构，识别架构模式，创建C4模型图，并生成专业的技术文档。当用户需要记录代码库、理解软件架构、创建技术规范或生成开发者指南时使用。支持所有编程语言。是Litho/deepwiki-rs的一个替代方案，使用Claude Code订阅而无需外部API费用。
download13deployed_code—star123
personjakexiao无需 Key
SND Artisan Integration
在使用工匠插件通过SND宏实现制作自动化时使用此技能。涵盖制作列表、耐力模式和制作状态管理。
download13deployed_code—star123
personjakexiao无需 Key
"software-architecture-expert"
软件架构设计与咨询
download13deployed_code—star123
personjakexiao无需 Key
sonarcloud-security-audit
审核NASA PDS仓库的SonarCloud安全问题（漏洞和热点），并导出到CSV进行分类。当用户请求PDS项目的SonarCloud安全扫描、漏洞报告或安全审计时使用。
download13deployed_code—star123
personjakexiao无需 Key
skillsbench
SkillsBench贡献工作流程。使用场景：(1) 创建基准任务，(2) 理解仓库结构，(3) 准备提交任务的PR。
download13deployed_code—star123
personjakexiao无需 Key
skyrim-mcm
创建和编辑MCM助手配置文件，用于模组设置菜单。当用户希望向其模组中添加游戏内设置、配置选项、开关、滑块或下拉菜单时使用。
download13deployed_code—star123
personjakexiao无需 Key
slack-search
在Slack频道和消息中进行语义搜索。提供基于BookRAG的分层索引搜索功能。可用于如下请求：- "在Slack中搜索~""查找~的频道" - "查找~的发言""与~相关的频道" - "DX展览会的频道""项目的状况" - "最近的活动""12月的活动"
download13deployed_code—star123
personjakexiao无需 Key
slidev
创建并展示基于Web的幻灯片，供开发者使用Markdown、Vue组件、代码高亮、动画和交互功能。适用于构建技术演示、会议演讲或教学材料。
download13deployed_code—star123
personjakexiao无需 Key
smart-rules
[实用工具] 分析用户提示并仅高效加载相关规则文档。在首次调用时通过扫描项目文档自动生成类别-文档映射配置文件。支持自动和手动调用。(项目)
download13deployed_code—star123
personjakexiao无需 Key
sniper-dynamics-and-mitigation
了解Solana发行中的狙击机器人，并实施防御措施，同时不损害公平访问。在代币或LP上线前使用。
download13deployed_code—star123
personjakexiao无需 Key
solana-kit-migration
帮助开发者理解何时使用@solana/kit与@solana/web3.js (v1)，提供迁移指南、API映射，并处理Solana JavaScript SDK转换中的边缘情况
download13deployed_code—star123
personjakexiao无需 Key
sonarqube-best-practices
SonarLint最佳实践适用于Next.js 16应用程序。涵盖合并前的质量检查、问题严重性优先级划分、TypeScript/Next.js常见修复方法以及何时推迟处理次要问题。在执行代码质量分析、修复SonarLint警告或设置质量门时使用。
download13deployed_code—star123