Utopia
World's first open-source enterprise world model.
← TheoremSmith
Best TheoremSmith alternatives
AI tools similar to TheoremSmith — Mass-Producing Hard Proof Problems to Train LLMs
Yogurt
Free, private, open-source alternative to Granola
Sand3d
3D modeling in Python, built for LLMs.
Solo to team skills
Skills for human-led AI teams: delegate tasks, verify evidence, explain steps clearly, and learn from real cases. 一个人统筹…
Uncracked City
detective game where you question LLM suspects that lie
Plimo
Create AI images and videos from prompts, photos, or templates
WebsiteBench
Can AI agents rebuild websites through browser exploration?
Kairos
Open-source risk and fraud decisioning platform
Mika
An on-device AI agent for Android that operates apps and the web to get things done for you.
Image to Video
Turn a photo into a 10-second video — free, no GPU queue
Goethe
The infrastructure for self-hosted AI
Nitrosend
AI-native email integrated with Claude, ChatGPT, and Cursor with free plan
NextTransformer
:sunrise: A comprehensive, cutting-edge open-source framework for next-generation Transformers/LLM, with…
Gauge
Open-Source CLI to recursively improve your docs
Interactive notes on RLHF
attention, LoRA and LLM evals
Trnrt
The open LLM inference engine for AWS Trainium: NKI megakernels, 1M-token context, OpenAI-compatible API. By…
RigSpark
Know which AI to run on your own computer
CreateVision
Free AI image and video generator with 33+ models in one studio
Kanzo
Self-hosted, sharable kanban for humans and agents. One 4.5 MB binary, 4.5 MB of RAM, 10 to 60 tokens per agent reply…
SIE Serverless
managed inference powered by self-hostable stack
Qwen3.5 4B 3D Coder Studio
Interactive Three.js 3D scenes from a prompt
Hob
Open-source, on device alternative to Claude Cowork and ChatGPT
Flide
🔥🔥 The extremely fast inference engine for decision model
Inferssd
Run models larger than your RAM or VRAM by streaming MoE experts from SSD. Built on llama.cpp.
Koltrix
Your whole email stack, run by agents you control.
Ai jailbreaks
AI jailbreaks: 35 paste-ready AI jailbreak prompts for 25+ frontier and open-weight models - system prompts, AGENTS.md…
Founding GTM
Your AI sales engine, from strategy to buying signals to sales calls.
Qwenputer
A computer, compiled into the weights of a language model. An exact CPU inside Qwen3.5-4B, with Gated DeltaNet state as…
QuietDiff
Track meaningful website changes and filter out the noise
HouseChief
Shared family calendar, chores, and meal planning with AI assistance