typesafe-ai
TypeSafe 是一套把 AI 智能拆解为可编程原语的开发方式:将小型、聚焦的“判断”单元组合成更大的能力。其 System One 模型返回快速、聚焦的判断结果,供软件直接消费。旗舰模型 Jev 理解自然语言,返回带类型的答案与概率,而不是生成文本或推理说明。工作流由代码掌控,模型只在普通代码需要语义理解的地方提供可编程的“常识”。该技能提供使用方向,实时文档才是概念、提示指南、API 契约、SDK 用法、模型、限制与示例的权威来源。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-12 00:15
26,177 个结果
TypeSafe 是一套把 AI 智能拆解为可编程原语的开发方式:将小型、聚焦的“判断”单元组合成更大的能力。其 System One 模型返回快速、聚焦的判断结果,供软件直接消费。旗舰模型 Jev 理解自然语言,返回带类型的答案与概率,而不是生成文本或推理说明。工作流由代码掌控,模型只在普通代码需要语义理解的地方提供可编程的“常识”。该技能提供使用方向,实时文档才是概念、提示指南、API 契约、SDK 用法、模型、限制与示例的权威来源。
用于查询 DIAL AI 模型目录的命令行技能,可列出可访问模型、查看指定模型的详情与能力,并检查限流用量;它是 pi-dial 包自带 dial CLI 的轻量封装,需先设置 DIAL_API_KEY 并确保 dial 在 PATH 中。
专利撰写 Skill:将技术交底书或 DOCX、PDF、Markdown 技术材料整理为中国专利申请文件草稿,产出摘要、权利要求书、说明书、附图说明与具体实施方式,并最终合并为完整文档。
一个写作素材采集技能:通过持续访谈会话,从用户对话中挖掘主张、小插曲、犀利句子、半成品想法等写作碎片,并将其追加到单个 Markdown 文档中,供未来文章使用。
Skill Fit 是一个只读的技能适配审计工具,用于将项目与技能目录进行匹配,输出建议挂载、建议摘除和能力缺口三张清单。它由用户显式调用,不自动执行安装或修改。
面向 Pump SDK 的 AI 智能体集成层,提供智能体指令文件、.well-known 发现文件、LLM 上下文文档、15+ 技能文件与 MCP 服务器提示,帮助 Copilot、Claude、Gemini 等智能体正确使用该 SDK。
ui-skills 是一套面向智能体与开发者、用于构建更佳界面的约束型规范,涵盖技术栈、组件、交互、动画、排版、布局、性能与设计等必须或建议遵循的规则,帮助 AI 代理产出更一致、可访问的前端界面。
Elon Algorithm 是一个用于激进精简产物的技能,可对代码、提示词、技能、文档或散文运行“质疑需求→删除→简化”流程,先克隆原件再生成删减计划供人工审阅,默认删除、仅保留有具体依据的部分。
该技能用于从另一个智能体(如 Codex 或任何可执行 shell 的智能体)以无头模式驱动 Claude Code CLI。它通过 stdin 传入任务说明、以 JSON 格式在 stdout 输出结果与 session_id,支持选择模型、effort 等级与权限模式,并可通过 --resume 续接会话、用 --fork-session 分支、限定允许工具与预算、约束输出 schema,以及在单次运行中通过 Anthropic 兼容端点接入 GLM-5、Qwen 3 等非 Claude 模型。
这是一个面向与 Anthropic Claude 5 系列模型(Opus 5.5、Sonnet 5.5、Fable 5.1、Haiku 5.5)协作的技能指南,适用于将 Claude 作为执行者或评审者使用的场景。该技能主要涉及模型选择、任务简报编写以及产出核验等协作决策习惯。资料强调:需要把「对需求解释的选择」与「实现可行性的证明」分开处理,并在依赖该结果采取行动之前分别加以评审。针对不同模型给出了分工建议:Opus 5.5 适合机制重建和解释比较;Sonnet 5.5 适合忠实复现、分阶段验证和独立的数值实现;Fable 5.1 适合有边界、结果可观察的技术调查;Haiku 5.5 适合可核验的执行与显式预测。技能还提供了任务简报模板,例如要求给出起决定作用的原文依据、替代读法及对结果的影响,区分实现检查与解释检查,界定实验隔离边界,设定验收条件并单独报告后续工作,最后汇总决策、反面观察、完整测试结果与副作用。核验方面,建议对照原始证据独立复核、检查验证是否真正覆盖争议前提、核对探测与演习的实际副作用,并针对不同模型分别检查其典型风险。
这是一个面向 OpenAI GPT-6 系列模型(GPT-6 Astra、GPT-6.1 Sol、GPT-6 Luna)的协作指南技能,用于在工作或评审场景中理解各模型的决策习惯、选择合适的成员并调整协作方式。该技能强调以源证据驱动实现、用检查贯穿决策、并在最终消息中压缩工作要点。它提供了针对 Sol、Astra、Luna 的差异化使用建议和简报模板,帮助用户明确控制源、验收条件、检查与解释分离等关键实践。
这是一个用于执行冲刺回顾(Sprint Retrospective)的AI技能:整理KPT、生成改进动作,并把回顾学到的经验自动反馈到CLAUDE.md、rules与agents,推动组织持续进化。适用于已在Claude Code环境中按该工作流管理冲刺的团队。
AutoRAG-Query 是一个 Text2SQL 智能体技能,用自然语言查询 AutoRAG-Research 流水线结果。它把问题转换为 SQL,仅执行 SELECT 查询,并以表格、JSON 或 CSV 返回结果。
AutoRAG-Research 的自定义生成管线插件开发指南,面向需要为其扩展 RAG 生成策略的开发者。它从脚手架创建开始,逐步说明如何实现 BaseGenerationPipeline 的 _generate(query_id, top_k) 方法,并附带测试编写、插件安装与同步的流程说明。管线中可访问 self._llm(LangChain BaseLanguageModel)、self._retrieval_pipeline(组合的检索管线)以及 self._service(GenerationPipelineService)等属性,用于实现单条查询的检索与生成逻辑;返回值为 GenerationResult。该技能还提醒不要在 _generate 中自行添加并发控制,因为基类 run() 已通过 run_with_concurrency_limit() 统一处理并行。资料中给出了扩展自定义参数的途径、继承自 BaseGenerationPipelineConfig 的配置字段、关键源码文件位置以及若干现有实现示例,并指明使用 FakeListLLM 进行测试。具体功能边界、收费情况等暂未提供。
指导开发者为 AutoRAG-Research 创建自定义检索流水线插件的技能,涵盖脚手架生成、实现 BaseRetrievalPipeline 抽象方法、自定义参数、测试与安装流程。
面向 Roblox 的寻路与 NPC AI 技能,覆盖 PathfindingService、代理参数(半径、高度、跳跃、攀爬)、寻路点动作与阻塞路径处理,含 NPC 跟随、巡逻、追击等脚本示例与性能建议。
面向 Roblox 刚体物理与约束的技能,覆盖装配体、根部件、机械约束与移动约束,用于搭建车辆、门、电梯、平台等稳定且多人安全的机构,并涉及网络所有权、休眠系统与物理步进。
介绍如何配置并连接官方 Roblox Studio MCP(Model Context Protocol)服务器,让 AI 客户端驱动已打开的 Studio 会话,实现读写脚本、搜索游戏树、执行 Luau、插入资源、启动试玩、模拟输入与截取视口等操作。
将现有专业流程或期望的工作成果,通过针对具体职业的对话,转化为可安装的 AI 技能。支持已有明确方法或只知目标结果的用户,交付包含约定流程的可用技能。
用于创建、校验并发布符合 agentskills.io 开放标准的 Agent Skills,可跨 Claude Code、Cursor、GitHub Copilot、OpenAI 集成与 VS Code 使用。提供目录结构、frontmatter 规范、校验命令与常见错误修复指引。
Reward Kit 是一个轻量级 Python 包,用于为 Harbor 任务编写验证器:把 criteria 文件目录转换为奖励分数,每个 criterion 是 Python 函数调用或 TOML judge 文件,子目录则成为独立奖励。
用于抓取并诊断 vLLM 的 Buildkite CI 失败日志的技能。当排查 PR 或构建中失败的 CI 任务、用户粘贴 buildkite.com 链接或要求分析 CI 失败时使用。日志公开无需登录。
jk-context 是 Jinkō 的上下文与术语说明技能,用于向用户或智能体解释 Jinkō 的核心心智模型、导航方式、版本管理和领域语言,帮助区分项目组织、科学内容与不可变版本。
jk-model 是 Jinkō 计算模型(QSP/PK-PD)的 SDK 技能,用于通过 jinko-sdk 构建或编辑模型,涵盖参数、分类参数、房室、物种、ODE、反应与给药等组件,并支持诊断与求解验证。