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.
Create Original Songs with AI Music Generator
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
Advanced Full Text Search + AI Assistant + Local Server for LLMs
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
Ztooly is a comprehensive collection of 50+ free online tools designed
OpenAI’s open-weight 120B model optimized for reasoning and tooling