Open-source code agent designed for Lean 4
An advanced web-based tool for checking JavaScript code using ESLint.
A low code unified framework for computer vision and deep learning
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
Mirror of Green Tara's OO jDREW fork on Bitbucket
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
Vision-language-action model for robot control via images and text
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
AI-supported visual verification and tests you can actually trust.