Open-source code agent designed for Lean 4
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
This is the entire source code for NewsNotFound's article gen process
OpenAI’s compact 20B open model for fast, agentic, and local use
JetBrains’ 4B parameter code model for completions
Map and logic editor
Python-based GUI for discrete-event system modeling and simulation