Open-source code agent designed for Lean 4
JetBrains’ 4B parameter code model for completions
A low code unified framework for computer vision and deep learning
OpenAI’s compact 20B open model for fast, agentic, and local use
Chat with local GGUF LLMs on your own machine
Ham radio MCP servers for AI Agents — 71 tools, 11 packages