How It Works Ecosystem

The open directory of AI agents, LLMs, MCP servers, workflows, and tools — search, compare, and track status across platforms.

Explore

Browse All AI Agents LLMs MCP Servers Tools & Frameworks

Account

Sign In Create Account Submit an Agent Saved Agents

Support

How It Works FAQ Report an Issue

Company

ATMEZ AI Solutions

© 2026 ATMEZ AI Solutions · All rights reserved.

Built with ❤️ for the AI community

All Agents LLMs MCP Servers Workflows Frameworks Tools Skills GenAI News

internlm2-step-prover-GGUF — LLM for Research | Genaihub

internlm2-step-prover-GGUF

Open-weight LLM by QuantFactory

Live

Open / InstallLast updated September 3, 2026

Description

internlm2-step-prover-GGUF is an open-weight text-generation model published by QuantFactory on the Hugging Face Hub. It has 372 downloads.

Author

QuantFactory

Platform

api

Pricing model

free

Categories

Research
Productivity

Tags

math
text-generation
en
conversational

Capabilities

Text generation
Conversational
GGUF quantised builds

Related llms

Others in the same category, ranked by how often they are opened.

bloomOpen-weight LLM by bigscienceLLMs · Coding
gemma-4-12B-coder-fable5-composer2.5-v1-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
phi-4Open-weight LLM by microsoftLLMs · Coding
Kimi-K2-ThinkingOpen-weight LLM by moonshotaiLLMs · Coding
gemma-4-12B-agentic-fable5-composer2.5-v2-3.5x-tau2-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
granite-docling-258M258M open-weight LLM by ibm-graniteLLMs · Coding
openchat_3.5Open-weight LLM by openchatLLMs · Coding
MiniCPM5-1B1B open-weight LLM by openbmbLLMs · Research