DeepYardDeepYard

Best AutoformBot Alternatives

96 agents you can use instead of AutoformBot. Ranked by popularity, tag overlap, and live GitHub signals.

multi-agentautonomousorchestrationopen-sourceresearchverification
A

AutoformBot

Reference

Multi-agent system for scaling mathematical formalization in Lean 4 with collaborative verification

View details Visit

Top Alternatives to AutoformBot

K

KernelSkill

Multi-agent framework that systematically optimizes GPU kernels using expert rules over LLM heuristics

OSSFree
Research
5 shared tags
A

AnalogAgent

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

OSSFree
Research Team
4 shared tags
A

AutoGPT

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

OSSFree
Significant Gravitas
4 shared tags
A

AutoMOOSE

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

OSSFree
Sukriti Manna
4 shared tags
C

CowAgent

Open-source autonomous AI assistant with task planning, memory, and multi-channel integration

OSSFree
zhayujie
4 shared tags
D

DataFactory

Multi-agent framework for advanced table question answering with collaborative reasoning

OSSFree
Research (Tong Wang et al.)
4 shared tags
I

ImageEdit-R1

RL-powered multi-agent system for complex, instruction-based image editing

OSSFree
Research Collaboration
4 shared tags
M

MiroThinker

Multi-agent research system with advanced reasoning powered by Qwen3-235B for autonomous knowledge synthesis

OSSFree
MiroMind AI
4 shared tags
N

NVIDIA Nemotron-3 Super

120B parameter MoE model optimized for agentic reasoning and tool use workflows

CommercialFree
NVIDIA
4 shared tags
P

Ptah Research

Multi-agent research orchestrator for verifiable, multimodal long-form reports with visual evidence

OSSFree
Research Team
4 shared tags
T

TITAN Agent

Premium autonomous AI framework with configurable autonomy, security shields, and mesh networking

OSSFree
Djtony707
4 shared tags
U

UI-TARS Desktop

ByteDance's open-source multimodal desktop automation agent with GUI control and MCP support

OSSFree
ByteDance
4 shared tags

Compare directly

AutoformBot vs KernelSkillAutoformBot vs AnalogAgentAutoformBot vs AutoGPTAutoformBot vs AutoMOOSE