Open-source code agent designed for Lean 4
A low code unified framework for computer vision and deep learning
JetBrains’ 4B parameter code model for completions
Chat with local GGUF LLMs on your own machine
This is the entire source code for NewsNotFound's article gen process
Ham radio MCP servers for AI Agents — 71 tools, 11 packages