Skills

Lean 4 theorem proving toolkit

A systems language with Go-like syntax and Rust-like ownership.

Observational Bridge Time Travel Skill

Senior Engineer Mode for Solution-Driven Execution

The Fully Agentic Trading Network on HyperLiquid

Best practices for using the Ploi PHP SDK to interact with the Ploi.io server management API

Comprehensive Python Programming Reference

Work with the Upstash Redis JavaScript/TypeScript SDK

ElevenLabs text-to-speech with mac-style say UX.

Structured TDD Implementation for ETNA_TRADER

Unified skill hub for Solana development.

Expert Guidance for Lumina CRM Development