H2O.aiH2O.ai provides an end-to-end AI platform for enterprises—combining GenAI, AutoML, and LLM fine-tuning with secure air-gapped and on-premise deployment options.(0)0
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
Privacera (Trust3 AI)Trust3 AI by Privacera is a cloud-native enterprise platform for data and AI governance, offering sensitive data discovery, access control, LLM policy enforcement, and RAG security across 50+ integrations.(0)0
Magistral AIMistral AI offers frontier large language models, autonomous agents, and private AI deployments. Fine-tune open-source models and build production-ready AI at enterprise scale.(0)0
T TruEraTruEra provides enterprise AI Observability for LLM and predictive ML systems, enabling monitoring, testing, and quality management across the full AI lifecycle.(0)0
BioptimusBioptimus builds the world's first universal AI foundation model for biology, integrating multi-modal biological data to accelerate biomedical research and clinical discoveries.(0)0
Zhipu AI GLMZhipu AI offers the GLM family of large language models with MaaS APIs, autonomous agents, vision models, and fine-tuning tools. Register for 20M free tokens.(0)0
GeminiGemini is Google's multimodal AI assistant that helps with writing, coding, analysis, and complex reasoning. Free to use with a powerful paid Advanced tier.(0)0
Weco AIWeco AI autonomously optimizes machine learning pipelines using the AIDE ML algorithm. Improve prompts, CUDA kernels, Kaggle scores, and more — with your data staying local.(0)0
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
