I Imandra AI Formal VerifyImandra combines LLMs with formal verification to mathematically prove software correctness. CodeLogician™ builds a full logical model of your codebase for exhaustive reasoning and test generation.(0)0
E Ellipsis AI Code ReviewEllipsis automatically reviews every pull request commit, catches logical bugs, enforces style guides, and generates tested code — all inside GitHub. Free for public repos.(0)0
M Modal AI CloudRun LLM inference, model training, and batch workloads on Modal's serverless GPU cloud. Sub-second cold starts, instant autoscaling, and a developer-first experience.(0)0
O OctoAIOctoAI is a high-performance AI inference platform for deploying LLMs, image generation models, and custom AI models at scale via a simple API.(0)0
Z Zhipu AI (Z.ai)Zhipu AI offers China's most advanced GLM large language models, a full MaaS API platform, autonomous agent tools, and multimodal AI — with 20M free tokens for new developers.(0)0
S Sourcegraph Cody AICody by Sourcegraph is an enterprise AI coding assistant that helps developers write, fix, and maintain code 2x faster with LLM-powered intelligence and deep codebase understanding.(0)0
G GroqGroq delivers ultra-fast, low-cost AI inference for LLMs using its proprietary LPU chip. Access top open-source models via an OpenAI-compatible API through GroqCloud.(0)0
0 01.AI (Yi)01.AI develops the Yi series of large language models, offering open-source LLMs for developers and an enterprise AI agent platform for businesses. Founded by Dr. Kai-Fu Lee.(0)0
S ScrapeGraphAIExtract structured data from any website using natural language prompts. ScrapeGraphAI handles proxies, rendering, and site changes automatically—built for AI agents and developers.(0)0
G Guild AIGuild is the neutral AI control plane for deploying and governing agents in production. Enforce identity, control access, and audit every action across all models and vendors.(0)0