★ 2 · Updated 2026-09-14
Extracts properties from component specs, tracks assumptions, and generates coverage and drift reports for Creusot verification.
Browse skills that share this tag.
★ 2 · Updated 2026-09-14
Extracts properties from component specs, tracks assumptions, and generates coverage and drift reports for Creusot verification.
★ 1 · Updated 2026-09-09
Provides guidance on setup, patterns, shaders, packaging, and troubleshooting for Makepad UI development in Rust applications.
★ 129 · Updated 2026-06-30
Provides cross-platform async utilities, chat widgets, and LLM client integration for building AI chat interfaces with Makepad.
★ 170 · Updated 2026-06-30
Implement the GreeksExt trait to compute first- and second-order Greeks (delta, gamma, vega, theta, rho, vanna, charm, volga, veta) for pricers via finite-difference defaults or single-pass Monte Carlo overrides.
★ 12 · Updated 2026-06-30
Reusable financial math patterns for MultiversX smart contracts covering precision management, half-up rounding, safe rescaling, and percentage calculations.
★ 1 · Updated 2026-06-30
Toolkit for building cross-platform AI chat interfaces with Makepad, featuring OpenAI integration and SSE streaming
★ 602 · Updated 2026-06-15
Pure Rust blocking HTTP client for AI provider API calls
★ 602 · Updated 2026-05-28
Reviews Rust code for ownership, lifetimes, error handling, safety, and idiomatic patterns
★ 0 · Updated 2026-05-28
Maintain Oris Rust runtime via GitHub issue-driven workflow
★ 18 · Updated 2026-05-28
Maintain Oris Rust agent runtime through GitHub issue-driven workflow
★ 602 · Updated 2026-05-28
Maintain Oris Rust runtime with GitHub issue-driven workflow
★ 10 · Updated 2026-05-09
Provides styling patterns for consistent terminal interface design
★ 1 · Updated 2026-05-09
Run GitHub Actions CI workflows locally using native cargo xtask commands or Docker with act.
★ 57 · Updated 2026-05-09
Test CI workflows locally using native cargo xtask or Docker + act
★ 13 · Updated 2026-05-09
Generates production-grade, secure Solana programs with full project scaffolds, test skeletons, and security checklists.
★ 6 · Updated 2026-03-26
Master Rust 1.75+ features for building high-performance, memory-safe systems with modern async patterns and advanced type system.
★ 0 · Updated 2026-03-25
Reference for Bevy 0.18 crate structure, modules, key types, cargo features, and feature profiles.
★ 8 · Updated 2026-03-25
Develops Rust 1.75+ applications with advanced async patterns and type system features
★ 51 · Updated 2026-03-24
Review Rust pull requests against idiomatic guidelines and ModKit framework rules, post findings as inline GitHub comments
★ 64 · Updated 2026-03-24
Robot firmware with gRPC for actuator control, IMU, and sim2real transfer
Scroll to load more