Model that fuses instruct, reasoning and agentic skills
Open-source code agent designed for Lean 4
Open language model developed by NVIDIA as part of Nemotron-3 family
LL model providing reasoning and conversational capabilities
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
Hexabot is an open-source AI chatbot / agent builder.
Scripthea is designed to streamline of crafting prompts for T2I gen.
High-efficiency reasoning and agentic intelligence model
OpenAI’s compact 20B open model for fast, agentic, and local use