10,194 skills found · Page 64 of 340
wanshuiyin / semantic-scholarSearch published venue papers (IEEE, ACM, Springer, etc.) via Semantic Scholar API. Complements /arxiv (preprints) with citation counts, venue metadata, and TLDR
wanshuiyin / citation-crosscheckDouble-blind bibliographic cross-check: one agent extracts each cited entry verbatim from the local .bib, a second independently re-fetches the same paper's record from the web while blind to the .bib, and a third extractor emits a mechanical field-by-field delta to catch dropped/re-ordered authors,…
wanshuiyin / dse-loopAutonomous design space exploration loop for computer architecture and EDA. Runs a program, analyzes results, tunes parameters, and iterates until objective is met or timeout
wanshuiyin / integrity-forensicsRun the Anti-Autoresearch integrity-forensics sweep (span-anchored evidence ledger → GPT auditors propose findings → a rules-only reporter that lists every proposal with what the auditor said about it) against a paper via a SHA-pinned thin launcher — then convert the verdict into a typed policy gate…
wanshuiyin / lean-formalizeDevelop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement. Connect actual inputs to intermediate lemmas, assemble the target theorem, check its transitive axioms, and provide a reproducible handoff
wanshuiyin / proof-orchestratorManage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only
wanshuiyin / deepxivSearch and progressively read open-access academic papers through DeepXiv
wanshuiyin / feishu-notifySend notifications to Feishu/Lark. Internal utility used by other skills, or manually via /feishu-notify
wanshuiyin / openalexSearch academic papers via OpenAlex API for open citation data, institutional affiliations, and funding information
wanshuiyin / qzcliManage GPU compute jobs on the Qizhi (启智) platform using qzcli — a kubectl-style CLI tool
wanshuiyin / formula-derivationStructures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document
wanshuiyin / figure-descriptionProcess user-provided patent figures and generate formal drawing descriptions
wanshuiyin / monitor-experimentMonitor running experiments, check progress, collect results
wanshuiyin / pixel-artGenerate pixel art SVG illustrations for READMEs, docs, or slides
wanshuiyin / vast-gpuRent, manage, and destroy GPU instances on vast.ai
wanshuiyin / arxivSearch, download, and summarize academic papers from arXiv
wanshuiyin / embodiment-descriptionWrite detailed embodiment descriptions for patent specifications
wanshuiyin / exa-searchAI-powered web search via Exa with content extraction
wanshuiyin / jurisdiction-formatCompile patent application into jurisdiction-specific filing format
wanshuiyin / paper-compileCompile LaTeX paper to PDF, fix errors, and verify output
wanshuiyin / prior-art-searchSearch patent databases and academic literature for prior art relevant to an invention
wanshuiyin / proof-checkerRigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report
wanshuiyin / proof-writerWrites rigorous mathematical proofs for ML/AI theory
wanshuiyin / research-litSearch and analyze research papers, find related work, summarize key ideas
wanshuiyin / system-profileProfile a target (script, process, GPU, memory, interconnect) for performance analysis
larksuite / lark-base飞书多维表格（Base）操作：建表、字段、记录、视图、统计、公式/lookup、表单、仪表盘、应用模式（BaseApp/AppMode 页面与组件）、Workspace 目录、workflow、角色权限、模板中心（多维表格模板分类/列表/搜索）；遇到 Base/多维表格/bitable、BaseApp/AppMode、/base/ 或 /app/ 链接时使用。BaseApp 不走 lark-apps；文件导入/导出转 lark-drive，认证/授权转 lark-shared。
larksuite / lark-mail飞书邮箱：Use when user mentions 起草邮件、写邮件、草稿、发送/回复/转发邮件、查阅邮件、看邮件、搜索邮件、邮件文件夹、邮件标签、邮件联系人、监听新邮件、邮件收信规则等；use for mail/email intent only. Do not use for docs/sheets/calendar/auth setup/pure contact lookup/IM chat tasks.
larksuite / lark-slides飞书幻灯片：创建和编辑幻灯片。创建演示文稿、读取幻灯片内容、管理幻灯片页面（创建、删除、读取、局部替换）。当用户需要创建或编辑幻灯片、读取或修改单个页面时使用。当用户给出 doubao.com 的 /slides/ URL/token 时，也应直接使用本 skill，不要因为域名不是飞书而回退到 WebFetch；路由依据是 URL 路径模式和 token，而不是域名。不负责：云文档内容编辑（走 lark-doc）、云文档里的独立画板对象（走 lark-whiteboard）、上传或下载普通文件（走 lark-drive）。
larksuite / lark-calendar飞书日历：管理日历日程和会议室。查看/搜索日程、创建/更新日程、管理参会人、查询忙闲和推荐时段、预定会议室。当用户需要查看日程安排、创建/修改会议、查询/预定会议室时使用。不负责：查询过去的视频会议记录（走 lark-meeting）、待办任务（走 lark-task）。
larksuite / lark-apps妙搭（Spark/Miaoda）应用开发与托管：应用创建、本地全栈开发、云端生成迭代、创意设计（UI mockup / 可交互原型 / 线框图 / 落地页 / 仪表盘 / 幻灯片 deck / 视觉探索）、AI相关能力和飞书平台能力或者其他外部能力集成、日志/Trace/监控指标/PV/UV 查询、环境变量管理、应用协作者与协作权限设置、应用角色与成员管理、自动化触发器（定时/记录变更/Webhook/飞书审批）。当用户要开发/新建一个系统·工具·平台·应用，或要本地开发 / 云端开发 / 修改 / 部署 / 发布 / 上线 / 拿可分享链接，或用 HTML 做页面·网站·部署到妙搭，或要设计…
