Leanstral 1.5 119B A6B
mistralai · Kit
An open code-agent model from Mistral for the Lean 4 proof assistant. It proves theorems and fixes Lean code, takes text and images, and runs through the Mistr…
New
AI projects from Hugging Face
Categories and filters
Listings
Seshat Agent
PCL-RSI-lab · Kit
Fixes software bugs with a self-improving coding agent that learns reusable reasoning patterns from its own successful runs, for developers and researchers wor…
New
TinyCodeAgent
Agents-MCP-Hackathon · Kit
An agent that solves tasks by writing Python, running it and fixing its own errors, built on TinyAgent with a Qwen model. Also works as an MCP server. For agen…
New