Agent Skills Hub

fp-pipe-ref

fp-ts 的 pipe 与 flow 快速参考。用于串接函数、组合操作，或在函数式 TypeScript 代码中建立干净且易读的数据管道。

hs

AI 代理的执行前安全防护机制。针对 Shell 指令和文件读取执行 400 多种安全模式验证，拦截具破坏性的操作、凭证窃取与未授权的系统访问。

hash

为 HASH 智能数据库生态系统提供的 Zod 模式生成与验证规则，确保类型安全与数据完整性。

writing-hashql-jexpr

HashQL J-Expr 查询语法与构建指南，支持 #literal、#struct、#list 与函数调用模式，适用于 HashQL 文件开发。

testing-hashql

HashQL 测试策略指南，涵盖 compiletest (UI 测试)、单元测试与 insta 快照测试。包含 --bless 指令、//~ 注解语法及各编译器组件的测试建议。

rust-developer

基于真实代码审查的专家级 Rust 开发指南。适用于编写惯用语代码、性能调优、错误处理，并协助开发者避免 CLI 工具与生产环境中的常见陷阱。

property-based-testing

为软件和智能合约提供属性基础测试 (PBT) 的自动化指导，以提升测试覆盖率并强化边缘案例检测。

CCOS MCP Tools

CCOS 服务器所公开的 MCP 工具参考，支持自主代理工作流程中的能力探索、会话管理与受控的 RTFS 执行。

moonbit-agent-guide

MoonBit 开发指南，涵盖项目架构、模块化布局、编译工具链与测试最佳实践。

moonbit-lang

MoonBit 语言官方参考手册、语法指南与编码规范，适用于高性能软件开发。

upgrade-flake

更新 flake.lock 以获取最新的 Nix flake 输入版本，且不会执行完整的 NixOS 系统版本升级。

generate-sdk-types

自动从 Rust 工具架构生成 TypeScript 类型定义，确保 MCP 项目中服务器与客户端之间的端到端类型安全。