带有标签“Rust”的 Skills

tools-creusot-extract-spec-prop - 从 Creusot 规范中提取属性并追踪覆盖率。
Creusot 验证规范漂移覆盖率
★ 2 · 更新于 2026-09-14
从组件规范中提取属性，追踪假设与信任边界，并生成 Creusot 覆盖率与规范漂移报告。
⚙ 发现组件规范文件 ⚙ 从规范中提取验证属性 ⚙ 向接口分配属性所有权
makepad-skills - 用于 Rust 应用的 Makepad UI 开发技能
Makepad Rust UI 着色器
★ 1 · 更新于 2026-09-09
提供基于 Rust 的 Makepad UI 开发指导，包含配置、模式、着色器、打包与故障排除。
⚙ 配置 Makepad 开发环境 ⚙ 应用 Makepad UI 模式 ⚙ 开发 Makepad 着色器
molykit - 用于跨平台 Makepad 应用的 AI 聊天工具包
AI 聊天 Makepad 跨平台 SSE 流式
★ 129 · 更新于 2026-06-30
提供跨平台异步工具、聊天组件和 LLM 客户端集成，用于构建 Makepad AI 聊天界面。
⚙ 使用 Makepad 构建 AI 聊天界面 ⚙ 集成 OpenAI 及 LLM API ⚙ 实现跨平台异步模式
greeks-pattern - 通过 GreeksExt trait 在 stochastic-rs 中暴露 Greeks 敏感度
Greeks stochastic-rs 量化金融衍生品定价
★ 186 · 更新于 2026-06-30
实现 GreeksExt trait，通过有限差分默认实现或单次蒙特卡洛重写，计算一阶和二阶 Greeks（delta、gamma、vega、theta、rho、vanna、charm、volga、veta）。
⚙ 为定价器实现 GreeksExt trait ⚙ 通过有限差分计算一阶 Greeks ⚙ 计算二阶交叉 Greeks
multiversx-defi-math - MultiversX DeFi 智能合约金融数学模式
MultiversX DeFi 智能合约金融数学
★ 12 · 更新于 2026-06-30
面向 MultiversX 智能合约的可复用金融数学模式，涵盖精度管理、四舍五入、安全精度转换与百分比计算。
⚙ 定义 BPS PPM WAD RAY 精度级别 ⚙ 执行无符号四舍五入乘法 ⚙ 执行无符号四舍五入除法
molykit - Makepad 跨平台 AI 聊天工具包
AI 聊天跨平台 Makepad OpenAI
★ 1 · 更新于 2026-06-30
用于构建跨平台 AI 聊天界面的工具包，支持 OpenAI 集成和 SSE 流式传输
⚙ 生成异步任务 ⚙ 发送聊天消息 ⚙ 解析 SSE 流
ureq - 简单的 Rust 阻塞式 HTTP 客户端
HTTP 客户端阻塞 I/O REST API SSE
★ 602 · 更新于 2026-06-15
纯 Rust 编写的阻塞式 HTTP 客户端，用于 AI 提供商 API 调用
⚙ 发送 HTTP GET 请求 ⚙ 发送 HTTP POST 请求 ⚙ 设置请求头
rust-reviewer - Rust 代码审查工具
Rust 代码审查所有权生命周期
★ 602 · 更新于 2026-05-28
审查 Rust 代码的所有权、生命周期、错误处理、安全性和惯用模式
⚙ 分析 Rust 项目 ⚙ 审查所有权模式 ⚙ 审查借用模式
oris-maintainer - Oris Rust运行时GitHub维护
维护 GitHub 问题跟踪 Rust
★ 2 · 更新于 2026-05-28
通过GitHub问题驱动工作流维护Oris Rust运行时
⚙ 选择GitHub问题 ⚙ 读取问题上下文 ⚙ 规划代码变更
oris-maintainer - Oris运行时GitHub维护代理
维护 Rust GitHub 发布
★ 18 · 更新于 2026-05-28
通过GitHub Issue驱动工作流维护Oris Rust代理运行时
⚙ 同步issue上下文 ⚙ 验证GitHub访问权限 ⚙ 列出未关闭issue
oris-maintainer - Oris Rust 运行时 Issue 维护
Rust GitHub issue 追踪 crate 发布
★ 602 · 更新于 2026-05-28
通过 GitHub Issue 驱动的工作流维护 Oris Rust 运行时
⚙ 选择 GitHub issue ⚙ 创建分支 ⚙ 编辑代码
tui-style-guide - TUI 组件样式指南
TUI 样式指南终端界面设计
★ 10 · 更新于 2026-05-09
为一致的终端界面设计提供样式模式
⚙ 定义色彩方案 ⚙ 创建边框样式 ⚙ 样式化组件标题
Run CI/CD Pipeline Locally - 本地运行 GitHub Actions CI/CD 流程
CI/CD GitHub Actions Docker Rust
★ 2 · 更新于 2026-05-09
使用原生 cargo xtask 命令或 Docker + act 在本地运行 GitHub Actions CI 工作流。
⚙ 运行 cargo xtask ci-check ⚙ 运行 cargo xtask validate-template ⚙ 运行 cargo xtask lint
Run CI/CD Pipeline Locally - 本地运行 CI/CD 流水线
CI/CD 持续集成本地开发 Docker
★ 57 · 更新于 2026-05-09
使用原生 cargo xtask 或 Docker + act 在本地测试 CI 工作流
⚙ 运行 xtask 命令 ⚙ 执行 act 命令 ⚙ 验证工作流
safe-solana-builder - 构建生产级安全 Solana 程序
区块链智能合约 Solana 安全
★ 21 · 更新于 2026-05-09
生成生产级安全 Solana 程序，包含完整项目脚手架、测试框架和安全检查清单。
⚙ 生成 Solana 程序 ⚙ 创建项目脚手架 ⚙ 编写测试框架
rust-pro - Rust 1.75+ 专家级开发与系统编程
Rust 系统编程异步编程性能优化
★ 6 · 更新于 2026-03-26
掌握 Rust 1.75+ 特性，构建高性能内存安全系统，使用现代异步模式和高级类型系统。
⚙ 实现 const 泛型 ⚙ 编写生命周期注解 ⚙ 使用泛型关联类型
bevy-api - Bevy 0.18 API 和 Crates 参考
Bevy Rust API 参考游戏引擎
★ 0 · 更新于 2026-03-25
Bevy 0.18 crate 结构、模块、关键类型、cargo features 和 feature profiles 的参考文档。
⚙ 参考 crate 架构 ⚙ 解释模块组织 ⚙ 列出关键类型
Rust Pro - Rust 1.75+ 专家级开发技能
Rust 系统编程异步 Web 开发
★ 8 · 更新于 2026-03-25
开发 Rust 1.75+ 应用程序，具备高级异步模式和类型系统特性
⚙ 实现 Rust 代码 ⚙ 编写异步代码 ⚙ 优化性能
modkit-pr-review - Rust PR 代码审查与行内评论
代码审查 Rust GitHub PR ModKit
★ 51 · 更新于 2026-03-24
审查 Rust PR 代码质量与 ModKit 框架合规性，在 GitHub 上发布行内评论
⚙ 获取 PR 元数据 ⚙ 解析 PR 差异 ⚙ 识别 Rust 文件
kos-firmware - 基于Rust的机器人固件与gRPC服务
机器人固件 gRPC 执行器控制
★ 64 · 更新于 2026-03-24
提供执行器控制、IMU和仿真传输的gRPC机器人固件
⚙ 控制执行器 ⚙ 配置执行器 ⚙ 校准执行器

Scroll to load more