Modulus LabsModulus Labs makes AI outputs mathematically verifiable using zero-knowledge proofs, enabling trustless AI for smart contracts, DeFi, identity, and Web3 applications.(0)AI Models & Infrastructure·AI Frameworks·AI Research Tools0
Patronus AIPatronus AI builds Digital World Models and simulation infrastructure to train and evaluate AI agents at scale, powering 30–40% model lift on long-horizon tasks.(0)AI Models & Infrastructure·LLM Developer Tools·AI Research Tools0
Muon SpaceMuon Space designs, builds, and operates satellite constellations with the Muon Halo™ tech stack, delivering Earth intelligence for government and commercial missions.(0)Data & Analytics·AI Models & Infrastructure·AI Research Tools0
AIMultipleData-driven benchmarks and comparisons for LLMs, AI coding assistants, cloud GPUs, RAG pipelines, OCR, cybersecurity, and enterprise software to help teams choose the right tools.(0)Data & Analytics·AI Models & Infrastructure·Research & Education0
AI2 (Allen Institute for AI)Ai2 is a nonprofit AI research institute offering fully open LLMs, multimodal models, and AI platforms for science, environment, and robotics. Explore OLMo, Molmo, Semantic Scholar, and more.(0)AI Models & Infrastructure·Foundation Models·AI Research Tools0
Adversa AIAdversa AI provides enterprise-grade red teaming and security assessment for LLMs, GenAI, agentic AI, and MCP systems. Detect jailbreaks, prompt injections, and agentic threats before they cause harm.(0)AI Models & Infrastructure·LLM Developer Tools·AI Research Tools0
NUtrackNUtrack is a University of Nebraska–Lincoln computer vision system that automatically identifies and tracks the behaviors of group-housed livestock for precision animal health and welfare management.(0)Data & Analytics·AI Models & Infrastructure·Research & Education0
NHTSA vPIC APIAccess the NHTSA Vehicle Product Information Catalog API to decode VINs, retrieve vehicle specs, and query manufacturer data — free from the U.S. Department of Transportation.(0)Data & Analytics·LLM Developer Tools·AI Research Tools0
NAGA Mahjong AINAGA is a deep learning Mahjong AI using CNN models trained on top-ranked human game records. Achieved Eight-Dan on Tenhou. Includes an interactive tile-selection demo.(0)AI Models & Infrastructure·Research & Education0
MarooMaroo is a public Layer 1 blockchain designed for Korea's Korean Won digital economy, supporting AI agents and KRW stablecoins. Testnet 1.0 is now live.(0)AI Models & Infrastructure·AI Agents·AI Infrastructure Tools0
