Open-source code agent designed for Lean 4
Large language model developed and released by NVIDIA
Coding-focused Kimi model for long-horizon agent workflows
An advanced web-based tool for checking JavaScript code using ESLint.
MCP (Model Context Protocol) server for integrating PostProxy API
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
This is the entire source code for NewsNotFound's article gen process
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
OpenAI’s compact 20B open model for fast, agentic, and local use
ChatBot for WordPress WPBot Lite
JetBrains’ 4B parameter code model for completions