brainstorming
brainstorming
You MUST use this before any creative work - creating features, building components, adding functionality, modifying behavior, or planning anything new, in software or out of it (a talk, a business, a renovation).
Explorer les Skills
Développement · SKILL.md
lean-proof-to-code-translator-c-rust-wasm
lean-proof-to-code-translator-c-rust-wasmLean Proof To Code Translator - C Rust Wasm: Start asynchronous Lean proof export. Use when an agent needs lean proof to code translator c rust wasm, lean to code translator w proof c rust wasm, compile lean proof programs to c for native integration, generate rust exports from pinned lean proof bundles, produce constrained wasm artifacts from lean proof co…
Independent GitHub snapshot · Automated classification · Original documentation governs
Documentation de la Skill
GitHubChargement de la documentation depuis la source…