Open-source code agent designed for Lean 4
An advanced web-based tool for checking JavaScript code using ESLint.
Coding-focused Kimi model for long-horizon agent workflows
A light weight chatbot by ultrazoid_
A low code unified framework for computer vision and deep learning
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
JetBrains’ 4B parameter code model for completions
Ztooly is a comprehensive collection of 50+ free online tools designed
MCP (Model Context Protocol) server for integrating PostProxy API
Chat with local GGUF LLMs on your own machine
Mirror of Green Tara's OO jDREW fork on Bitbucket
OmniDJ base project repository
15 free tools, 1000+ prompt, Skills for People No signup, no limits.