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 基礎工具可實現巨大速度提升，使超大規模虛擬篩選成為可能。