How It Works Ecosystem

The open directory of AI agents, LLMs, MCP servers, workflows, and tools — search, compare, and track status across platforms.

Explore

Browse All AI Agents LLMs MCP Servers Tools & Frameworks

Account

Sign In Create Account Submit an Agent Saved Agents

Support

How It Works FAQ Report an Issue

Company

ATMEZ AI Solutions

© 2026 ATMEZ AI Solutions · All rights reserved.

Built with ❤️ for the AI community

All Agents LLMs MCP Servers Workflows Frameworks Tools Skills GenAI News

Lean Refactor Arena — AI Agent for DevOps | Genaihub

Lean Refactor Arena

Two-track multi-objective Lean 4 proof refactoring

Live

Open / InstallLast updated September 3, 2026

Description

Two-track multi-objective Lean 4 proof refactoring Hosted on Hugging Face Spaces by delta-lab-ai. SDK: docker.

Author

delta-lab-ai

Platform

web

Pricing model

free

Categories

DevOps

Tags

docker
region:us
hugging-face
docker

Capabilities

SDK: docker
3 likes

Related agents

Others in the same category, ranked by how often they are opened.

DeepSite V4Generate any application by Vibe Coding itAgents · DevOps
Open LLM LeaderboardTrack, rank and evaluate open LLMs and chatbotsAgents · DevOps
AI Comic FactoryCreate your own AI comic with a single promptAgents · DevOps
MTEB LeaderboardEmbedding LeaderboardAgents · DevOps
AnyCoderA Hugging Face Space by akhaliq — built with docker.Agents · DevOps
The Smol Training PlaybookThe secrets to building world-class LLMsAgents · DevOps
Whisper JAXA Hugging Face Space by sanchit-gandhi — built with docker.Agents · DevOps
FacePokeImport a portrait, click to move the head!Agents · DevOps