Open-source code agent designed for Lean 4
computer go engine written in python
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
Multiple implementations for abstractive text summurization
Ham radio MCP servers for AI Agents — 71 tools, 11 packages