Open-source code agent designed for Lean 4
Flagship MoE model for advanced reasoning, coding, and agents
An advanced web-based tool for checking JavaScript code using ESLint.
685B model with improved agents and consistency
High-compute ultra-reasoning model surpassing model surpassing GPT-5
A low code unified framework for computer vision and deep learning
High-efficiency reasoning and agentic intelligence model
JetBrains’ 4B parameter code model for completions
Ztooly is a comprehensive collection of 50+ free online tools designed
MCP (Model Context Protocol) server for integrating PostProxy API
Mirror of Green Tara's OO jDREW fork on Bitbucket