The open source AI-native IDE
Open reasoning model for agentic coding and tool workflows
Open-source code agent designed for Lean 4
An advanced web-based tool for checking JavaScript code using ESLint.
AI-supported visual verification and tests you can actually trust.
Coding-focused Kimi model for long-horizon agent workflows