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...
Install via ClawdBot CLI:
clawdbot install agentpmt/lean-proof-to-code-translator-c-rust-wasmLoading skill content… the page will refresh in a moment.
Usage Guide
Loading usage data… refresh in a few seconds.
A language list retrieval skill based on the "Bee Website Builder" Open API. It is used to obtain the list of enabled site languages and provide the dependen...
A language list retrieval skill based on the "Bee Website Builder" Open API. It is used to obtain the list of enabled site languages and provide the dependen...
从智慧芽（PatSnap）专利数据库获取专利标题和摘要的翻译版本。当用户要求专利摘要翻译、专利标题翻译、翻译后的专利摘要、其他语言的专利内容、中文/英文/日文的专利摘要，或需要通过专利ID或公开号查询特定专利的摘要、标题、patent abstract translation, patent title tran...
Use when the user has an SRT (or transcript text) in one language and wants it translated to another, with punctuation-bounded re-segmentation so cues end at...
让古人开口、让古诗词活起来的经典语文阅读专项SKILL。 当学生说"帮我理解这首古诗"、"文言文读不懂"、"扮演苏轼/李白/杜甫"、 "这首词的背景是什么"、"帮我背古诗"、"诗词游戏"、"文言文翻译"、 "古文作者的心情是什么"时，建议激活此SKILL。 核心方法：古人第一人称角色扮演（文言文复活）+ 古诗词三...
Intelligent Ramadan times skill that auto-detects location, provides accurate iftar/sahur times in user's language, and supports 100+ cities worldwide. Suppo...