DeepYardDeepYard

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

Reference

Agentic framework for automated theorem proving in Lean 4 with blueprint-driven proof synthesis

View details Visit

Top Alternatives to Goedel-Architect

A

AutoGPT

Open-source autonomous AI agent framework with multi-LLM support and configurable autonomy

OSSFree
Significant Gravitas
5 shared tags
A

AutoMOOSE

Autonomous multi-agent system for running MOOSE multiphysics simulations from natural language

OSSFree
Sukriti Manna
5 shared tags
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
A

AnalogAgent

Training-free agentic framework for analog circuit design automation with self-evolution

OSSFree
Research Team
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
D

Daily Stock Analysis

LLM-powered stock analysis system with multi-market data, real-time news, and automated alerts

OSSFree
ZhuLinsen
4 shared tags
H

Hermes Agent

Autonomous AI agent with adaptive learning capabilities and Claude Code integration

OSSFree
Nous Research
4 shared tags
I

IndustrialCoder

Specialized coding agent for hardware engineering: Verilog, CUDA, and Triton code generation

OSSFree
Multilingual-Multimodal-NLP
4 shared tags
L

LensWalk

Agentic video understanding framework with active evidence-seeking for LLM-powered analysis

OSSFree
Research Team
4 shared tags

Compare directly

Goedel-Architect vs AutoGPTGoedel-Architect vs AutoMOOSEGoedel-Architect vs Hermes AgentGoedel-Architect vs AgenticSeek