Open-source code agent designed for Lean 4
An advanced web-based tool for checking JavaScript code using ESLint.
Coding-focused Kimi model for long-horizon agent workflows
A light weight chatbot by ultrazoid_
A low code unified framework for computer vision and deep learning
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
JetBrains’ 4B parameter code model for completions
Ztooly is a comprehensive collection of 50+ free online tools designed