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
This is the entire source code for NewsNotFound's article gen process
Ham radio MCP servers for AI Agents — 71 tools, 11 packages