Dark
工具与框架
概念
Claude-Code-Hook-System — Claude Code Hook System 是 Claude Code 编程助手提供的一种扩展机制,允许开发者通过编写脚本拦截和响应 AI 会话的生命周期事
Codex TUI — Codex CLI 的"驾驶舱"——不是简单的 REPL,而是一个事件驱动状态机 ,承担实时审批、diff 预览、会话导航、多 Agent 状态展
Codex会话管理器 — Codex CLI 的上下文持久化层,解决 LLM 天然无状态与工程任务有状态之间的矛盾。通过 Session 持久化、Transcript 存储和 R
Codex多Agent调度 — Codex CLI 的并行任务执行系统,让 Codex 从"单线程 AI 程序员"变成"AI 开发团队调度中心"。主 Age
Codex沙箱系统 — Codex CLI 的执行边界层,用操作系统内核级机制 限制 Agent 能触碰的文件系统范围和网络权限。即使 LLM 生成了恶意命令,沙箱在内核
Codex配置系统 — Codex CLI 的"神经系统",控制每一个可调行为。不是简单的配置文件,而是一个多层继承、可版本化、环境感知 的配置管理体系。
Denavit-Hartenberg 参数 — Denavit-Hartenberg(DH)参数是一种用于描述串联机器人连杆和关节几何关系的标准化方法,由 Jacques Denavit 和 Ri</li>
<li>[[ExecPolicy — Codex CLI 的命令审批引擎,位于 Codex沙箱系统 之前。将"哪些命令允许、哪些需要审批、哪些禁止"从硬编码逻辑中解放出来,变成**可
FTS5 — FTS5(Full-Text Search version 5)是 SQLite 的内置全文搜索扩展模块,提供高效的文本索引和检索能力。在 Clau</li>
<li>[[Legged Robots That Balance — 《Legged Robots That Balance》是 Marc H. Raibert 于 1986 年由 MIT Press 出版的学术专著,被视
MCP协议层 — Codex CLI 的工具连接协议层。MCP(Model Context Protocol)是 Anthropic 提出的开放协议,让工具与 Agent
PDDL — PDDL(Planning Domain Definition Language,规划领域定义语言)是自动规划领域的标准建模语言,由 Drew McDermot
Probabilistic Robotics — 《Probabilistic Robotics》是由 Sebastian Thrun 、Wolfram Burgard 和 Dieter Fo</li>
<li>[[ROS (Robot Operating System) — ROS(Robot Operating System)是一个开源的、模块化的机器人软件框架和元操作系统(meta-operating system),由 M</li>
<li>[[RRT-Connect — RRT -Connect 是快速扩展随机树(RRT )算法的重要变体,由 Steven </li>
<li>[[bun-vs-uv — 本文档深度对比了现代软件生态中两个革命性的工具链:Bun (JavaScript/TypeScript 生态)与 uv (Python 生态)。两者
claude-cli-tools — Claude CLI 工具生态是指围绕 Anthropic 的 Claude 大模型构建的一系列命令行界面(CLI)编程代理与辅助工具的集合。该生态以官方推出的
modern-cli-tools — 现代 CLI 工具全景是指一系列旨在替代传统 Unix 核心工具(如 grep, find, ls, cat 等)的新一代命令行实用程序集合。这
快速扩展随机树 (RRT) — 快速扩展随机树(Rapidly-Exploring Random Trees, RRT)是一种用于高维空间路径规划的采样算法,由 Steven M. LaV</li>
</ul>
<h2 id="_3">实体</h2>
<ul>
<li>[[Alex-Newman — Alex Newman(社交媒体账号 @thedotmack)是一位开源软件开发者,以其在 AI 编程辅助工具领域的创新工作而闻名。他是 **Claude-</li>
<li>[[Boston Dynamics — Boston Dynamics 是一家世界领先的机器人工程公司,成立于 1992 年,由著名机器人学家 Marc H. Raibert 从麻省理工学院(
Brian Gerkey — Brian Gerkey 是著名的机器人学家和开源软件倡导者,ROS (Robot Ope</li>
<li>[[ChromaDB — ChromaDB 是一个开源的向量数据库(Vector Database),专为 AI/LLM 应用设计,用于存储和检索向量嵌入(Embedding s)
Claude-Code — Claude Code 是 Anthropic 官方发布的 AI 编程助手 CLI(命令行界面)工具,基于 Claude 模型(Opus/Sonnet/Haik
Claude-Mem — Claude-Mem 是一个专为 Claude Code 设计的开源持久化记忆插件,旨在解决大型语言模型(LLM)固有的“无状态”缺陷。通过自动捕获会话
Codex CLI — OpenAI 以 Rust 重写并开源的本地编码 Agent 。不是聊天机器人,而是一套把 LLM 决策与 OS 级执行边界融合的系统工程——运行在本地终
Faiss — Facebook 开源的向量检索 库,提供高效的近似最近邻 搜索算法,是推荐系统候选生成 阶段的核心检索基础设
Lydia Kavraki — Lydia E. Kavraki 是计算机科学和机器人学领域的杰出学者,现任莱斯大学(Rice University)教授。她最著名的贡献是与 Jean-C</li>
<li>[[MH-1 机械手 — MH-1 是由 Heinrich A. Ernst 于 1962 年在麻省理工学院(MIT)开发的世界上第一个由计算机控制并具备触觉反馈的机械手系统。作
Marc H. Raibert — Marc H. Raibert 是美国著名的计算机科学家和机器人学家,被誉为现代动态腿式机器人之父。他于 1977 年在麻省理工学院(MIT)获得博士学位,随后
Mario-Zechner — Mario Zechner 是 libGDX 游戏引擎的创造者,拥有三十年工程经验的资深开发者。2025 年底因对 Claude-Code 复杂性的不满
Morgan Quigley — Morgan Quigley 是美国计算机科学家和机器人学家,ROS (Robot Ope</li>
<li>[[PR2 机器人 — PR 2 (Personal Robot 2) 是由 Willow Garage 开
PUMA 机器人 — PUMA(Programmable Universal Machine for Assembly)系列机器人是由 Unimation 公
PaddleOCR — PaddleOCR 是百度飞桨(PaddlePaddle)开源的 OCR (光学字符识别 )工具,以强大的中文识
PyMuPDF — PyMuPDF 是 MuPDF 引擎的 Python 绑定,提供高性能的 PDF 文档解析能力,可直接读取精确到亚像素的字符坐标,是 MinerU Te
Richard P. Paul — Richard P. Paul 是机器人运动学领域的奠基人之一,宾夕法尼亚大学教授。他于 1972 年在斯坦福大学获得博士学位,师从人工智能先驱 John Mc
Robot Manipulators: Mathematics, Programming, and Control — 《Robot Manipulators: Mathematics, Programming, and Control》是由 [[Richard P. Paul]
SQLite — SQLite 是一个轻量级、无服务器、嵌入式的关系型数据库引擎,由 D. Richard Hipp 于2000年创建。它将整个数据库存储为单个磁盘文件,无需独立
ScaNN — Google 开发的近似最近邻检索 库,专为大规模推荐系统设计,提供速度和精度最优平衡的向量搜索能力。
Shakey 机器人 — Shakey 是世界上第一个具备通用目的的移动机器人,由斯坦福研究院(SRI International)人工智能中心于 1960 年代末至 1970 年代初研
Steven M. LaValle — Steven M. LaValle 是国际知名的计算机科学家和机器人学家,现任芬兰奥卢大学(University of Oulu)教授。他以提出**快速扩展随机
TX-0 计算机 — TX-0(Transistorized Experimental computer zero)是由麻省理工学院(MIT)林肯实验室在 1950 年代中期开发的一
TensorFlow — Google 开源的大规模深度学习训练框架,为 Y</li>
<li>[[Unimate — Unimate 是世界上第一台投入实际应用的工业机器人,由 George Devol 发明并由 Joseph Engelberger 推广,于 1961 年首次
Willow Garage — Willow Garage 是一家成立于 2006 年的美国机器人技术孵化器,由硅谷企业家 Scott Hassan 创立。该机构致力于个人机器人技术的研发,其
opendatalab — opendatalab 是开源数据和工具平台,与上海人工智能实验室 相关联,是 MinerU (magic-pdf )项目的 G
pdfminer — pdfminer 是 Python 的 PDF 文本提取库,可从 PDF 中提取文本内容,但对多栏布局的处理能力有限,提取结果常为乱序字符流。
pypdf — pypdf 是 Python 的 PDF 处理库,提供基本的 PDF 读取、写入和文本提取功能,但对复杂布局的处理能力有限。
上海人工智能实验室 — 上海人工智能实验室(Shanghai AI Lab)是中国国家级人工智能科研机构,开源了 MinerU (magic-pdf )等高质
综合分析
知识系统的六个工程反模式 — 在构建 LLM Wiki Plugin(AI 驱动的个人知识操作系统)过程中,v3.3 重构暴露了六个反复出现的工程反模式。这些模式不仅适用于知识管理系统,也适
QA 洞见
Cargo-for-X全能工具链模式 — Bun(JavaScript)和 uv(Python)代表了一种跨语言的工具链设计模式:"Cargo for X"——用单一二进制文件统一运行时、包管理、构建和