Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
Open agentic coding model optimized for local deployment
Google’s flagship dense multimodal model for coding and reasoning
4-bit Command A+ model for enterprise agents and multilingual tasks
Flagship MoE model for advanced reasoning, coding, and agents
Agentic 123B coding model optimized for large-scale engineering
High-compute ultra-reasoning model surpassing model surpassing GPT-5
High-efficiency reasoning and agentic intelligence model
JetBrains’ 4B parameter code model for completions
Efficient 309B omnimodal MoE for coding, agents, vision, and audio
1T omnimodal MoE model for coding, agents, and long-horizon reasoning
304B MoE model optimized for agentic coding and long-running workflows
Small 3B-base multimodal model ideal for custom AI on edge hardware
Efficient 8B multimodal model tuned for advanced reasoning tasks.
High-precision 14B multimodal model built for advanced reasoning tasks
Versatile 8B-base multimodal LLM, flexible foundation for custom AI
Powerful 14B-base multimodal model — flexible base for fine-tuning