仓库/Skill 库

AI 驱动的系统综述摘要与 PDF 高效筛选工具AI-powered tool for efficient abstract and PDF screening in systematic reviews.

Attachment Manager for ZoteroAttanger (Attachment Manager) organizes Zotero attachments: attach recent downloads, match files to items, rename them with Zotero's native templates, and move or copy them into a predictable folder structure.

AI 代码审查，完全掌控模型选择与成本。AI Code Review with Full Control Over Model Choice and Costs.

为基于 Debian 的系统打包的 Zotero 与 Juris-M 版本。Packaged versions of Zotero and Juris-M for Debian-based systems

让 Zotero 在 Word 中的引用更加便捷清晰。Make Zotero's citation in Word easier and clearer.

在 Zotero 文献库视图中预览附件。Preview Zotero attachments in the library view.

[已被 The Guild 收购] Grafbase GraphQL Federation Gateway。[Acquired by The Guild] The Grafbase GraphQL Federation Gateway

Journal-specific Claude Code/Codex skill packs covering mainstream journals — AER, QJE, Nature, Cell, 管理世界, 经济研究 & 200+ more — your fast track to getting published. ｜ 覆盖主流期刊的 Claude Code/Codex 期刊技能包，从选题、识别策略到表格规范与审稿回复全流程，助你快速发论文。

Zotero Linter：一款用于格式化条目元数据的 Zotero 插件。提供设置标题富文本、期刊缩写、大学地点与条目语言等的快捷方式，并可检测重复条目。Linter for Zotero. A plugin for Zotero to format item metadata. Shortcut to set title rich text; set journal abbreviations, university places, and item languages, etc; detect duplicate items.

学术专著（如学位论文）的 LaTeX 模板，同时面向 LaTeX 初学者与熟练用户A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users.

系统综述中的主动学习Active learning for systematic reviews

基于 AST 的 outline director，面向 human-centered 的 AI 演示工作流。AST-based outline director for human-centered AI presentation workflows.

面向任意文件格式的版本控制系统Version control system for any file format

一站式AI学术论文写作辅助工具 · 支持从定题出稿全过程，涵盖降AIGC、查重率、润色、纠错等辅助功能

面向软件工程工作流的 Claude Code Skills——Git 自动化、测试和代码审查。Claude Code Skills for software engineering workflows - Git automation, testing, and code review

拓扑不动点理论：由两个公理推导标准模型、α⁻¹ 与宇宙学的机器可验证离散编译器。包含论文、验证套件（Python/Wolfram/Lean）、实验及网站。Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.

Parsifal 是一个辅助研究人员开展系统文献综述（SLR）的工具Parsifal is a tool to assist researchers to perform Systematic Literature Reviews

Vocat 是一款面向 Quectel EC20/EC25 系列蜂窝模组的开源 Web 控制面板与工程工具集，整合了模组发现、实时射频状态、AT 与 USSD 终端、短信、WiFi Calling、eSIM 管理、网络选择、代理路由、通知、审计日志与发布自动化于一体。Vocat is an open-source web control panel and engineering toolkit for Quectel EC20/EC25-class cellular modems. It combines modem discovery, live radio status, AT and USSD terminals, SMS, WiFi Calling, eSIM management, network selection, proxy routing, notifications, audit logs, and release automation in one self-contained service.

人性化 Web API（HAPI）规范标准。HAPI 旨在定义 Web API 统一规范，使其对机器可读、对人类友好，即自描述 APIA spec for Humanized web APIs, aka HAPI. The goal of HAPI is to define a standard for creating Web-based APIs that are machine ready but human friendly— a self-documenting API.

基于可视化工作流的人机协同数据科学Human-AI Collaborative Data Science Using Visual Workflows

用于文献综述与发现的参考文献及引文图谱Reference and citation map for literature review and discovery

基于 Gen1Recomp 分支并修改的 Generation 2 宝可梦重编译项目。Generation 2 Pokemon Recomp forked from Gen1Recomp and modified

用于拒绝低证据力 TypeScript 与 JavaScript 模式的、风格鲜明的 Oxlint 规则。Opinionated Oxlint rules for rejecting low-evidence TypeScript and JavaScript patterns

通过一个 flake input 即可获取 nixpkgs 任意包的任意版本。Any version of any nixpkgs package, from one flake input

读取微信本地文件，把消息按 会话（人/群）— 时间 — 类型（文字/图片/视频/文件/…） 结构化组织，并通过文件变化监听实现新消息的秒级增量解析

便携式 Linux 二进制文件，一站式解决Portable Linux binaries, solved

c4 GenAI Suitec4 GenAI Suite

DS4Windows 的便携式配套工具集，包含 DualShock 4 与 DualSense 的安装指南、配置说明与 Windows 构建助手Portable DS4Windows companion toolkit with setup guides, profile notes, and Windows build helpers for DualShock 4 and DualSense.

人话翻译器-将专业术语翻译成通俗易懂的人话

链上仍未破解的加密谜题，价值约 10 BTC、约 12 ETH 与约 1,900 AR：托管地址、作者线索以及我的逐项研究；其中少数已破解并附支付凭证Unsolved crypto puzzles worth ~10 BTC, ~12 ETH and ~1,900 AR still on-chain: escrow addresses, author clues, and my research on each. A few solved, with payout proofs.

自托管的多 SIM 通信网关，附带公开版安全防护。Self-hosted multi-SIM communication gateway with public-edition safeguards

以单个自包含离线 HTML 文件形式呈现的 Obsidian 库交互图谱。Interactive graph of an Obsidian vault as a single self-contained offline HTML file

把 mufy 的聊天记录批量导出成 Markdown + JSON 的油猴脚本

AIくさい日本語を人間が書いた文章に変換するClaude Codeスキル。20パターンのチェックリスト+書き換えガイド。

我们收集并分析意大利公共支出数据，借助 AI 识别公共资源利用效率可提升之处。Raccogliamo e analizziamo i dati sulla spesa pubblica italiana per individuare, grazie all’AI, dove è possibile migliorare l’efficienza e l’utilizzo delle risorse pubbliche.

本地优先、自托管的媒体下载器，基于 yt-dlp、Flask、Docker 和 ffmpeg。Local-first, self-hosted media downloader powered by yt-dlp, Flask, Docker, and ffmpeg.