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
Ham radio MCP servers for AI Agents — 71 tools, 11 packages
Compact agentic model for coding, tools, and productivity tasks
Agentic coding model combining Opus reasoning and Fable tools
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.