DeepYard

Best MechGeo Alternatives

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

autonomousopen-sourcepythonframeworkcoding-agent
M

MechGeo

Reference

Automated formal geometry proofs in Lean 4 with GeoFormalizer and GeoProver

View details Visit

Top Alternatives to MechGeo

H

Hermes Agent

Autonomous AI agent with adaptive learning capabilities and Claude Code integration

OSSFree
Nous Research
5 shared tags
H

HLSmith

Expert-guided agentic framework translating C/C++ to hardware-accelerated FPGA code

OSSFree
Research
5 shared tags
I

IndustrialCoder

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

OSSFree
Multilingual-Multimodal-NLP
5 shared tags
T

Tycho

Game-playing agent that builds programmatic world models for active abstraction and skill learning

OSSFree
Research Team
5 shared tags
A

AgenticSeek

Fully local autonomous AI agent with zero API costs, powered by DeepSeek-R1

OSSFree
Fosowl
4 shared tags
A

AgentSeek

Fully local autonomous AI agent with web browsing, coding, and voice assistance

OSSFree
Fosowl
4 shared tags
A

Antares

Lightweight security-focused terminal agent for vulnerability detection and code analysis

OSSFree
Foundation AI
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

BettaFish

Multi-agent system for public opinion analysis, sentiment tracking, and trend prediction

OSSFree
666ghj
4 shared tags
B

BTL-4

Open-source agentic coding model based on Qwen3.5 MoE for autonomous development workflows

OSSFree
Bad Theory Labs
4 shared tags
C

Career Ops

AI-powered job search automation with 14 specialized modes for resumes and applications

OSSFree
Santifer
4 shared tags