Open-source code agent designed for Lean 4
Open language model developed by NVIDIA as part of Nemotron-3 family
rational agent
Compact hybrid reasoning language model for intelligent responses
Hexabot is an open-source AI chatbot / agent builder.
Qwen2.5-VL-3B-Instruct: Multimodal model for chat, vision & video
OpenAI’s open-weight 120B model optimized for reasoning and tooling
JetBrains’ 4B parameter code model for completions
High-efficiency reasoning and agentic intelligence model