
AI



active
Math Workspace
面向长篇数学写作与形式化协作的本地工作区:以 Markdown 保存正文,用稳定锚点、命题依赖、符号审计、Lean 对齐和本地 Reader 维持可检查的项目结构。

active
Infer Runtime
一个本地优先的异构 AI 推理控制平面:应用提交 Intent 与约束,由 Runtime 在本地、云端和订阅式资源之间完成可解释的准入、路由、队列、资源与预算治理。

active
Dev Skeleton
面向 LLM 辅助开发的 source-first 项目骨架:用短 skill、条件 reference 和模板记录稳定方向,并在实现增长时保持代码树的语义归属清楚、可被模型直接阅读。

active
Paged Context Protocol
一个模型无关、由用户拥有的上下文协议及其官方 Rust 实现:用稳定 Page、不可变 Revision、显式访问范围与可追溯来源,决定什么信息能够何时进入模型注意力。



工具


active
Storybook Co-Editor
面向 AI 绘本和网页绘本内容的本地协同排版工具,把网页图片捕获、分页编辑、图像微调、PDF 导出,以及本机 MCP 与 Codex 图像协作串成一条桌面工作流。




