wellecks/llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

/ 100

Emerging

148 stars. No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 10 / 25

Maturity 16 / 25

Community 15 / 25

Stars

148

Forks

Language

Python

License

MIT

Category

Last pushed

Nov 11, 2023

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/wellecks/llmstep"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

SALT-NLP/collaborative-gym

Framework and toolkits for building and evaluating collaborative agents that can work together...

ai4co/reevo

[NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution

Gen-Verse/LatentMAS

Latent Collaboration in Multi-Agent Systems

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

sethkarten/LLM-Economist

Official repository of the 2025 paper, LLM Economist: Large Population Models and Mechanism...