CommunityCodierung & Entwicklunggithub.com

QEDGen/solana-skills

Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.

Was ist solana-skills?

solana-skills is a Claude Code agent skill that formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.

Funktioniert mit~Claude Code~Codex CLI~Cursor
npx skills add QEDGen/solana-skills

Installed? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Original anzeigen→Alle Skills durchsuchen

In Ihrer bevorzugten KI fragen

Öffnet einen neuen Chat, in dem dieser Agent-Skill bereits geladen ist.

OpenAIChatGPTClaudeClaudeGeminiGeminiGrokGrokPerplexityPerplexityDeepSeekDeepSeek

Dokumentation

Was macht solana-skills?

Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.

Verwandte Skills

steipete/bluebubbles

Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.

community

steipete/eightctl

Control Eight Sleep pods (status, temperature, alarms, schedules).

community

steipete/blucli

BluOS CLI (blu) for discovery, playback, grouping, and volume.

community

steipete/bear-notes

Create, search, and manage Bear notes via grizzly CLI.

community

steipete/camsnap

Capture frames or clips from RTSP/ONVIF cameras.

community

steipete/gifgrep

Search GIF providers with CLI/TUI, download results, and extract stills/sheets.

community
← More Codierung & Entwicklung skills