1. Read the ConjectureBench paper (arXiv:2510.11986) — nobody had implemented it locally 2. Built the first MLX-native LEAN-FIRE pipeline on Apple Silicon 3. Fine-tuned the first conjecture generation model that exists 4. Verified Dmitry Rybin's breaking counterexample to the 30-year-old Dinitz-Garg-Goemans conjecture within hours The core insight: **conjecture generation IS prediction.** Same pipeline whether you're breaking a 30-year-old math conjecture or sizing a Polymarket position. **The killer app.** Conjecture = Prediction. Formalization = Resolution criteria. Counterexample = The trade.

Text generation

Input Text→ Output Text

Price not verifiedCheck multimodal and channel pricing separately

View details ↗

CompareSource / docs ↗

RavenX-CyberAgent-Qwen3.6-35B-A3B-Opus-4.7-OpenMythos-Pentester-BugHunter-RATH-GGUF

deadbydawn101

> **The most comprehensive open-source security agent model — in GGUF.** Runs in Ollama, LM Studio, llama.cpp, vLLM, and any GGUF runtime. 51/51 LoRA tensors merged. Identical to the MLX version. **Both versions are identical** — same 51/51 LoRA tensors, same 745K+ training data, same 12 training rounds. **People are NOT getting the most out of local LLMs.** A 35B MoE at Q4_K_M gives dramatically better output than a 7B model at the SAME speed — because only 3B params activate per token.

Text generation

Input Text→ Output Text

Price not verifiedCheck multimodal and channel pricing separately

View details ↗

CompareSource / docs ↗

COST EXPLORER

Great models. Clear costs.

Cost analysis

Adjust monthly token usage to compare estimated API costs.

Monthly input tokens 10 MMonthly output tokens 2 M1 M = 1 million tokens · USD
Compares base text-token rates within the same channel

Uses collected, comparable USD-per-million-token rates. Snapshots exclude cache discounts, tiers, extra reasoning output and taxes. Check current source prices.

MODEL HANDBOOK

Understand before you choose

Selection guide & FAQ

How should API prices be compared?+

Separate input, output and cache rates, then estimate the same workload. Image, audio and video rates may use items, duration or resolution rather than tokens.

Do open weights mean free commercial use?+

Not necessarily. Check each version’s license, commercial restrictions and policies. Self-hosting also incurs compute and maintenance costs.

Is the top-ranked model the best for me?+

Rankings depend on tasks, versions and methods. Compare accuracy, latency, reliability and costs on your own workload.

Find your ideal AI model.

Explore AI models 84991

DeepSeek-V4-Flash-Vision-Exp-Uncensored-GGUF

Gemma-4-Dark-Orithia-Untied-31B-GGUF

gemma-4-it-GGUF

GLM-4.5-Air-Derestricted-GGUF

L3.3-Electra-R1-70b-GGUF

MiMo-V2.6-Flash-MOPD-GGUF

Mistral-7B-Instruct-v0.1-GGUF-fp16

miki_cls_v3-roberta

ko-trocr

Qwen3.8-27B-OBLITERATED

roberta-base-scandinavian

HH-Asistan-1.7B-GGUF

QoQ-Med-Omni-7B

EchoChat

dolly-v2-3b

donut-merit

gemma-4-E2B-Heretic-Uncensored-mlx-4bit

gemma-4-E4B-Agentic-Opus-Reasoning-GeminiCLI-GGUF

gemma-4-E4B-Agentic-Opus-Reasoning-GeminiCLI-mlx-4bit

gemma-4-E4B-Agentic-Sol-Fable-Reasoning-GeminiCLI-GGUF

gemma-4-E4B-Agentic-Sol-Fable-Reasoning-GeminiCLI-mlx-4bit

gemma-4-E4B-mlx-4bit

RavenX-Conjecture-Qwen3-8B-MLX

RavenX-CyberAgent-Qwen3.6-35B-A3B-Opus-4.7-OpenMythos-Pentester-BugHunter-RATH-GGUF

No matching models

Great models. Clear costs.

Understand before you choose

Follow trends. Find tools. Explore models.