Open-source code agent designed for Lean 4
JetBrains’ 4B parameter code model for completions
This is the entire source code for NewsNotFound's article gen process
OpenAI’s compact 20B open model for fast, agentic, and local use
A low code unified framework for computer vision and deep learning
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
Vision-language-action model for robot control via images and text