Open-source code agent designed for Lean 4
High-compute ultra-reasoning model surpassing model surpassing GPT-5
A low code unified framework for computer vision and deep learning
High-efficiency reasoning and agentic intelligence model
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