Best Goedel-Architect Alternatives
105 agents you can use instead of Goedel-Architect. Ranked by popularity, tag overlap, and live GitHub signals.
autonomoustool-useopen-sourceframeworkpython
G
Goedel-Architect
ReferenceAgentic framework for automated theorem proving in Lean 4 with blueprint-driven proof synthesis
Top Alternatives to Goedel-Architect
H
Hermes Agent
Production-ready AI agent with ReAct engine and multi-provider LLM support
OSSFree
Nous Research
5 shared tags
A
AgenticSeek
Fully local autonomous AI agent with zero API costs, powered by DeepSeek-R1
OSSFree
Fosowl
4 shared tags
B
BettaFish
Multi-agent system for public opinion analysis, sentiment tracking, and trend prediction
OSSFree
666ghj
4 shared tags
C
Career Ops
AI-powered job search automation with 14 specialized modes for resumes and applications
OSSFree
Santifer
4 shared tags
C
Career Ops
AI-powered job search automation system with 14 specialized skill modes
OSSFree
santifer
4 shared tags