仓库/Skill 库

证据约束的代码诊断工作台：确定性静态分析拥有源码事实，LLM 只提假设，resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained，从架构抑制幻觉。已在真实开源项目发现 bug（stunner #89 已被上游确认修复）。Python。

巴西 UFC（联邦大学）社区化、现代化的学术 LaTeX 模板。Template LaTeX comunitário e modernizado para trabalhos acadêmicos da Universidade Federal do Ceará (UFC).

LaTeX 软件工程师简历模板。LaTeX software engineer resume template

💹 使用 Python 和 CoinGecko API 分析主要加密货币的价格、市值与趋势，辅助投资决策💹 Analyze major cryptocurrencies' prices, market caps, and trends using Python and the CoinGecko API for informed investment decisions.

🚀 temp-os 简化 Fedora 安装：一个实验性模板，可无缝 rebase 到最新的 atomic 镜像🚀 Simplify Fedora installations with temp-os, an experimental template for rebasing to the latest atomic images seamlessly.

Zotero Better Notes 双语学术风格文献笔记模板A bilingual, academically styled literature-note template for **Zotero Better Notes**, designed for structured reading, annotation aggregation, critical analysis, and reproducible research workflows.

将 Herdr 工作区平铺为 N 个 Claude Code 窗格，然后通过单一菜单列出、恢复或终止它们。Windows 使用 PowerShell，macOS 和 Linux 使用 bash。Tile a Herdr workspace with N Claude Code panes, then list, resume, or kill it from one menu. PowerShell on Windows, bash on macOS and Linux.

轨道不确定性传播方法的综合性文献综述。Comprehensive literature review of Orbital uncertainty propagation methods

讀論文時把疑問就地註記回原文，累積成可複習的筆記與單頁 HTML — a Claude Code plugin for annotating papers with your own questions.

📊 自动化从 LinkedIn 抓取招聘信息，通过高效批量数据收集简化研究与招聘工作。📊 Automate job listing extraction from LinkedIn to streamline your research and recruitment efforts with efficient, bulk data collection.

原生 macOS 学术写作助手，通过 OpenAI 或 DeepSeek 提供 AI 驱动的语法、标点与风格检查。A native macOS academic writing assistant with AI-powered grammar, punctuation, and style checks via OpenAI or DeepSeek.

一种静态类型、编译型编程语言，带有原生 x86-64 后端 — 由 AI 编写，为 AI 服务。A statically-typed, compiled programming language with a native x86-64 backend — written by AI, for AI.

系统综述的智能工具集。Clever tools for systematic reviews

bibsync 从 LaTeX 源文件中的引用键同步 BibTeX 文件。灵感来自 adstex，支持 NASA ADS 和 InspireHEP 作为数据源。bibsync synchronizes BibTeX files from citation keys in LaTeX sources. It is inspired by adstex, with provider support for both NASA ADS and InspireHEP.

📊 通过统计分析基因表达差异，调查临床研究中的性别偏差，以改善医疗结果。📊 Investigate gender bias in clinical research through statistical analysis of gene expression differences to improve healthcare outcomes.

面向互联医疗 IoT 中可审计的两级本地—边缘 ECG PVC 风险服务回路的可复现研究代码Reproducible research code for an auditable two-tier local-edge ECG PVC risk service loop in connected healthcare IoT.

MBA 研究项目，使用 Excel、SPSS 和统计分析方法分析 Hindustan Aeronautics Limited (HAL) 的采购与信用条款。MBA Research Project analyzing procurement and credit terms in Hindustan Aeronautics Limited (HAL) using Excel, SPSS, and statistical analysis.

使用 `te` 简化命令行编辑，这是一款交互式 TUI，帮助你轻松无误地修改复杂的 CLI 命令。🖐 Simplify command-line editing with `te`, an interactive TUI that helps you modify complex CLI commands easily and error-free.

找出你的转换器在 .docx 中悄悄丢弃的内容——命名空间、表格、图片与字体在大多数情况下看起来正常，直到真正出问题。零依赖。Find what your converter silently dropped from a .docx - namespace, table, figure and font failures that render fine until they do not. Zero dependencies.

"生物信息学分析揭示 COVID-19 mRNA 疫苗与自然 SARS-CoV-2 变异株之间的人工密码子偏好变化"。SARS-CoV-2、COVID-19、vaccine、codon-optimization、bioinformatics、sequence-analysis、mRNA-vaccine、origin-analysis、reproducible-research。"Bioinformatics analysis revealing artificial codon preference changes in COVID-19 mRNA vaccines vs natural SARS-CoV-2 variants" SARS-CoV-2, COVID-19, vaccine, codon-optimization, bioinformatics, sequence-analysis, mRNA-vaccine, origin-analysis, reproducible-research

用于自动汇编每日/每月文献综述的 Web 爬虫工具。Web scraping tools designed to assemble automated daily/monthly literature reviews

确定性 SAT API、CNF 预处理工具与可复现研究标准。Deterministic SAT APIs, CNF preprocessing tools, and reproducible research standards.

面向 Butterfly Labs BF0005G Jalapeno SHA-256 ASIC 的工具包——包含协议层、统计分析、NIST SP 800-22 随机性测试与迭代哈希动力学；将退役矿机改造为硬件密码学研究平台，同时也可用作酸面种发酵加热器Toolkit for the Butterfly Labs BF0005G Jalapeno SHA-256 ASIC — protocol layer, statistical analysis, NIST SP 800-22 randomness tests, and iterated-hash dynamics. Repurposes a retired miner as a hardware cryptographic research platform, and sourdough starter warmer.

开源美元融资压力终端，使用公开的美联储、回购、财政部、持仓和市场数据Open-source US dollar funding-stress terminal using public Federal Reserve, repo, Treasury, positioning, and market data.

MetaGráfica 是一种面向出版级二维矢量图形的描述语言——从纯文本编译为 EPS、SVG 或 PDF，适配科学图表与绘图，由单一自包含编译器完成。MetaGráfica is a descriptive language for publication-quality 2D vector graphics — scientific figures and plots compiled from plain text to EPS, SVG or PDF by a single self-contained compiler.

Researcher's Decision Pattern Matrix 仓库，一套用于辅助研究人员（硕士与博士）在选题、研究问题类型、研究设计与方法论方面做决策的文件集合。This is a repository an Researcher's Decision Pattern Matrix, a collection of files to assit researchers (MSc and PhD) in making decisions concerning topic selection, research question type, research design and methodology.

一个简洁的命令行工具，用于从 arXiv 将论文导入 Obsidian（以及 Notion）。A terse command-line tool for importing papers into Obsidian (and Notion) from arXiv

真正好用的本地文档 → Markdown 转换器 | Local-first AI-ready document converter: PDF/Word/PPT/Excel/EPUB/HTML → clean Markdown

可复现的研究问题与预注册Reproducible research question,preregistration

用于 LoRa 与 LoRaWAN 设备实验的 Python 工具包，提供串口通信、自动化工具与可复现的研究实验。A Python toolkit for experimenting with LoRa and LoRaWAN devices, providing serial communication, automation tools, and reproducible research experiments.

NASH/IW 项目的版本化代码、校验器、清单文件与可复现研究基础设施Versioned code, validators, manifests and reproducible research infrastructure for NASH/IW.