316 AI tools ranked by real ratings, reviews, and popularity — updated automatically as new reviews come in. No paid placement affects this ranking.
An interactive theorem prover and functional programming language, serving as the core infrastructure for formal AI research and automated theorem proving (e.g., AlphaProof, DeepSeek-Prover).
Comes with a highly efficient offline OCR engine. As long as the computer performance is sufficient, it can be faster than online OCR services.
DeepSeek's 4th generation flagship model. V4-Pro (1.6T MoE) and V4-Flash (284B MoE) featuring 1M context, native multimodality, and Hybrid Attention for extreme efficiency.
Official skills repository for OpenAI GPT models, providing reusable tools and extensions for OpenAI's AI assistants

AICaller is a simple-to-use automated bulk calling solution that uses the latest Generative AI technology to trigger phone calls for you and get things done. It can do things like lead qualification, data gathering over phone calls, and much more. It comes with a powerful API, low cost pricing and free trial.
Enable AI agents to control your real Chrome browser session, accessing sites with your existing login state without APIs.
Open-source browser sandbox and automation infrastructure for AI agents and apps with session-backed workflows, screenshots, PDFs, proxies, and anti-bot tooling.
Z-Image is a high-performance image generation model recently open-sourced by Alibaba's Tongyi Lab. It strikes a balance between "extreme speed" and "high quality," making it highly suitable for scenarios requiring rapid image generation. Z-Image-Turbo Online Demo: https://huggingface.co/spaces/mrfakename/Z-Image-Turbo
Open-source AI agency toolkit with 70+ specialized agent personas across engineering, design, marketing, sales, and more. Features ready-to-use agent personalities, workflow templates, and multi-tool support for Claude Code, Cursor, Aider and other AI dev tools.