ruvnet/ruflo 插件Plugin ⭐ 68841 🌊 The original agent meta-harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build c…

volcengine/OpenViking 插件Plugin ⭐ 31970 Self-evolving Context Database for AI Agents. Unify Agent Memory, Knowledge RAG and Skills.

Molunerfinn/PicGo 插件Plugin ⭐ 27007 :rocket: The Ultimate Image Uploader for Efficient Creators. Supports Obsidian, Typora, VS Code etc. and 60+ image hosti…

nocobase/nocobase 插件Plugin ⭐ 23763 NocoBase is an open-source AI + no-code platform for building business systems fast. Instead of generating everything fr…

页签	路由	讲什么
Cordis 演算	`#/lesson/<id>`	把论文《A Programming Paradigm for Spatiotemporal Composability》的演算讲成八课，最后一课对回 Cordis 4.0 源码
DeepSeek Harness	`#/dsh/lesson/<id>`	同一套演算落在真实产品上：dsh 的三层组合、一次对话的流水线、官方 78 行基础插件全景
论文译文	`#/paper`	中文译本，公式用 KaTeX 渲染，带目录与滚动高亮

#	主题	讲什么
1	世界状态 Γ	把副作用写进函数签名
2	可撤销 effect	一个动作配一把撤销钥匙
3	撤销顺序	为什么要倒着撤，什么时候可以乱撤
4	coeffect	「我需要什么」以及变化的三种分类
5	生命周期	fiber 的四个状态和七条规则
6	卸载定序	卸载为什么要分两步
7	合流性	为什么可以放心乱序热插拔
8	落到代码	对照 `packages/core/src/{fiber,reflect,context,utils}.ts`

#	主题	讲什么
00	为什么是它	与 Claude Code / Codex / Pi Agent 逐维度对比；与演算课的概念对照表
01	组合出一棵树	profile → bundle → patch 三层叠加；换两行 provider 搬走整个执行世界
02	一次对话	turn / step 流水线单步走，六个瀑布事件，「模型能看到的必须是记录过的」
03	官方全景	78 行基础组合按能力域可搜可筛、18 类面向模型的工具、「我要加 X 该动哪里」查表

文件	作用
`src/ui.tsx`	把 Canvas SDK 用到的组件（`Stack` / `Row` / `Grid` / `Card` / `Table` / `Callout` / `Pill` / `Toggle` …）按同样 API 实现一遍，附带明暗两套配色
`src/Course.tsx`	Cordis 演算课正文，是 Cursor Canvas 版的直接拷贝
`src/DshCourse.tsx`	DeepSeek Harness 课正文，只有网页版
`src/lesson-kit.tsx`	两门课共用的教学组件与课程外壳（`Course.tsx` 为便于与 Canvas 版整份同步，保留自己的一份拷贝）
`src/route.ts`	把「当前第几课」提升为 URL，两门课各用一个前缀，链接可分享、前进后退可用
`src/PaperPage.tsx`	译文渲染：markdown-it + KaTeX，自建目录与滚动高亮

curtiseng/cordis-course

安装Install