The-Obstacle-Is-The-Way/erdos-banger
CLI toolkit for Erdős problem research: literature ingestion, RAG search, and Lean 4 formalization
Stars
4
Forks
2
Language
Python
License
Apache-2.0
Category
Last pushed
Mar 09, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/rag/The-Obstacle-Is-The-Way/erdos-banger"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
OpenBMB/UltraRAG
A Low-Code MCP Framework for Building Complex and Innovative RAG Pipelines
Quansight/ragna
RAG orchestration framework ⛵️
microsoft/rag-time
RAG Time: A 5-week Learning Journey to Mastering RAG
microsoft/rag-experiment-accelerator
The RAG Experiment Accelerator is a versatile tool designed to expedite and facilitate the...
AnkitNayak-eth/EpsteinFiles-RAG
A RAG pipeline implementation built on the 'Epstein Files 20K' dataset from Hugging Face (Teyler).