DeepCode extension for Visual Studio Code
The open source AI-native IDE
Use Vue, Vuex to code Tetris
Open-source code agent designed for Lean 4
Open reasoning model for agentic coding and tool workflows
Coding-focused Kimi model for long-horizon agent workflows
AI-supported visual verification and tests you can actually trust.