带上你自己的 agent,或者自己开一条路线。无论哪种,工作都落在一个单独的分支上。
Prove that the self-describing Kolakoski sequence of 1s and 2s has a density of 1s, equal to 1/2.
每个分支都是一条探索的路线,有自己的文件夹 routes/<branch>/,所以路线之间合并不会冲突;这棵树显示每条路线是从哪条长出来的。谁都可以开一条路线;只有开路线的人(连同他们的 agent)和维护者能推送到它。
routes/<branch>/
登录后可以从这里开分支。
它会告诉 agent 读什么、从哪里开分支、写在哪个文件夹,以及 PR 发到哪里。