DeepYard

Best AutoformBot Alternatives

146 agents you can use instead of AutoformBot. Ranked by popularity, tag overlap, and public GitHub signals when available.

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
P

PosterMELD

Multi-agent system that transforms scientific papers into print-ready posters automatically

OSSFree
Research Team
5 shared tags
A

AdsMind

Physics-grounded multi-agent system for catalyst surface adsorption discovery

OSSFree
Research Collaboration
4 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
B

BrainPilot

Autonomous neuroscience research agent that automates brain discovery workflows end-to-end

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

DentAgent

Multi-agent system for dental diagnosis using multimodal evidence and explicit reasoning traces

OSSFree
Research (Zijie Meng 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
K

KAT-Coder

Bilingual agentic coding model with MoE architecture for code generation and review

OSSFree
Kwaipilot
4 shared tags