Agent-thon Projects 自动debug 陈澄钧: 实现一个能自动检查寻找代码正确性问题,并验证bug的skill 陈青松: 修复在星绽上运行Linux Test Project中遇到的问题 苏涛: 修复将Codex应用移植到星绽上遇到的问题 王振辰: 移植syzkaller(Linux系统的模糊测试框架)并自动运行测试寻找bug 于芯邑: 推进星绽新版ext2的开发和debug 张巍: 在星绽上使能Vulkan 代码生成 姜剑峰: 静态的死锁监测工具, rust 李睿涵: virtio-vsock的实现, rust 李昕昊: virtio-9p和virtio-crypto的实现, rust 林灿: 实现RustMap,一个可以为Rust代码建立交互式图状UI的工具,rust Group playbook link Group A Group B