PaperSpine5 是一个本地优先的技能，专为 AI 编码代理（Claude、Codex、OpenClaw）设计，可将其转变为受证据约束的学术研究与写作助手。它集成了引用检查、参考文献清单管理、LaTeX/Word 验证和写作理由分析工具，并提供 Windows/macOS/Linux 的安装程序以及用于配置和预览的 Web UI。

纳维-斯托克斯和欧拉方程有限时间爆破的数学证明的 Lean 4 形式化，涉及千禧年大奖难题。

一款《任天堂明星大乱斗 特别版》的原生 PC 移植版，使用兼容层和 WebGPU 在多个平台上提供高分辨率图形、自定义纹理和低延迟输入。

开源框架，用于构建与部署算法加密交易机器人；包括 CLI、Docker、众多交易所连接器，以及可选的 LLM 驱动决策层（Condor）。

一款为 Linux 设计的视觉化音乐播放器，通过模拟黑胶唱片、CD 和磁带等物理媒体，提供跨多种音乐源的沉浸式播放体验。

MatterGen 是一种用于无机材料设计的生成扩散模型，可根据特定属性约束进行微调以生成晶体结构。

一个将 QPUs、GPU 和 CPU 集成到单一可编程系统中的混合量子-经典计算平台。

ComfyUI 的 LoRA 管理插件。支持从 CivitAI 直接下载，一键集成到工作流中。提供模型组织、预览管理、触发词追踪、食谱保存、检查点管理、动态文件名模式等功能。

PennyLane 是一个专为量子计算、量子机器学习和量子化学设计的开源软件平台，使用户能够在各种硬件设备上构建和实现量子算法。

OpenMM 是一个高性能分子动力学库，用于分子模拟，为研究人员提供极高的灵活性和GPU优化。

PlatEMO 是一个 MATLAB 平台，提供 300 多种算法和 600 多个基准问题，具有用户友好的 GUI 和并行实验支持。它帮助研究人员轻松测试和比较优化方法。

Reckless 是一款高性能、开源的竞技级国际象棋引擎，在 CCC 和 TCEC 等主要赛事中排名靠前。

一个用于蛋白质设计的工具和基础设施框架，提供对 RFdiffusion3 和 RosettaFold3 等生成模型和结构预测模型的统一接口。

基于表面码和晶格手术的大规模容错量子计算的表示与编译设计自动化工具。

AutoDock Vina 是一种用于预测配体与蛋白质结合方式的开源对接引擎。

一个高效的 C++ 求解器，用于计算德州扑克和短牌扑克中的最优游戏策略。

用 Rust 编写的跨平台终端棋类游戏，支持本地对战、Stockfish 等 UCI 棋类引擎，以及 Lichess 集成。

一款支持多种逆变器品牌的 Home Assistant 家庭电池预测与自动充电系统，可优化能源存储。

一个为 Leela Chess Zero (Lc0) 提供实时分析的 GUI，可图形化展示引擎评估和走法选择。

NetLogo 是一个可编程建模环境，用于创建基于代理的模拟，以研究复杂系统和涌现行为。

用 C++ 编写的高性能开源 3D 游戏引擎，具备先进的 Vulkan 渲染、硬件光线追踪以及通过 MCP 服务器实现的内置 AI 集成。

一个使用搜索引擎在多个游戏世代中进行单人对战的宝可梦对战机器人。

一个使用隐式表示构建复杂褶皱结构、断层网络和不整合面的开源 Python 库。

一个用于开发游戏 AI 的 JavaScript 库，提供自主智能体设计、转向、导航和模糊逻辑的工具。

一个集合了 AlphaFold、ProteinMPNN 和 Rfdiffusion 等工具的 Google Colab 笔记本合集。

一个为研究、教育和量子软件开发设计的可扩展 Julia 框架。

一种利用强化学习和迁移学习，根据用户定义的属性概况生成优化小分子的分子设计工具。

slides-grab 是一个 CLI 工具，用于借助 AI 代理协助创建和编辑 HTML 幻灯片。它提供可视化编辑器、支持导出为 PDF/PNG/PPTX、包含设计模板，并可通过 AI 生成图像。专为与 Claude 或 Codex 等代码代理协同使用而设计，是 AI 在演示文稿工作流中的一项实用应用。

专为 iOS 和 iPadOS 打造的 Command & Conquer: Red Alert 2 及 Yuri's Revenge 原生体验移植版，具有自定义 RTS 触摸控制和重构的遭遇战 AI。

一个用于在量子计算机上模拟费米子系统和量子化学的量子算法编译与分析的 Python 包。

一个用于在量子计算机和模拟器上编写、操作和运行量子电路的 Python 包，针对 NISQ 时代硬件进行了优化。

根据蛋白质及其蛋白质-配体复合物的 3D 结构，预测蛋白质中可电离基团的 pKa 值。

NeuralGCM 是一个用于构建用于天气和气候模拟的混合机器学习与物理基础大气模型的 Python 库。

一个现代 C++ 通用量子计算库，用于以高性能和低依赖性模拟任意量子过程。

Brain Modeling Toolkit (BMTK) 是一个开源软件套件，用于在多个分辨率级别构建、模拟和分析大规模脑网络。

用于蛋白质结构、酶和生物大分子的计算分析与设计的生物分子建模库。

Handwrite 是一个基于用户手写样本生成自定义字体的工具，让用户能够输入看起来像手写的文档。

一个专注于张量网络和精确矩阵基模拟的量子信息多体计算Python库。

通过 Leap 云服务使用 D-Wave 量子计算机解决计算难题的一套工具。

一个开源的 PyTorch 实现，用于预测包括蛋白质、核酸和配体在内的生物分子相互作用的三维结构。

一款让有语言障碍的人通过符号和文本转语音进行沟通的增强型和替代性沟通（AAC）网页应用。

HMMER 是一款使用谱隐马尔可夫模型搜索数据库中同源序列的生物序列分析工具。

一个开源的全栈API，用于量子模拟和量子硬件控制，提供设备无关的方式来执行量子电路。

一个用于以与规划器无关的方式建模和求解自动化规划问题的 Python 库，支持多种求解器和 PDDL 格式。

一个基于 Python 和 TensorFlow 的 AlphaGo Zero 实现，允许 AI 通过自我对弈和强化学习来学习下围棋。

一个使用 Alpha-Beta 搜索和位棋盘走法生成的开源象棋（中国象棋）引擎，提供强大的 AI 对战能力。

一个为多种量子计算架构优化量子电路的高性能量子编译器。

一款 GPU 加速的分子对接程序，相比 CPU 基础工具可实现巨大速度提升，使超大规模虚拟筛选成为可能。