Open-source code agent designed for Lean 4
Open language model developed by NVIDIA as part of Nemotron-3 family
Open-source Python framework for AI agents and agentic workflows.
Hexabot is an open-source AI chatbot / agent builder.
JetBrains’ 4B parameter code model for completions
High-efficiency reasoning and agentic intelligence model