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

aristotle-lean — Agent Skill for Coding | Genaihub

aristotle-lean

IMO Gold Medal level Lean4 theorem proving via Harmonic API

Live

Open / InstallLast updated September 3, 2026

Description

IMO Gold Medal level Lean4 theorem proving via Harmonic API

Author

plurigrid

Platform

cli

Pricing model

free

Categories

Coding
Research

Tags

skill
smithery
Coding
Research

Capabilities

4 stars
Smithery skill

Related skills

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

fixUse when you have lint errors, formatting issues, or before committing code to ensure it passes CI.Skills · Coding
flagsUse when you need to check feature flag states, compare channels, or debug why a feature behaves differently across rel…Skills · Coding
extract-errorsUse when adding new error messages to React, or seeing "unknown error code" warnings.Skills · Coding
flowUse when you need to run Flow type checking, or when seeing Flow type errors in React code.Skills · Coding
verifyUse when you want to validate changes before committing, or when you need to check all React contribution requirements.Skills · Coding
feature-flagsUse when feature flag tests fail, flags need updating, understanding @gate pragmas, debugging channel-specific test fai…Skills · Coding
tmuxRemote-control tmux sessions for interactive CLIs by sending keystrokes and scraping pane output.Skills · Productivity
githubInteract with GitHub using the `gh` CLI. Use `gh issue`, `gh pr`, `gh run`, and `gh api` for issues, PRs, CI runs, and …Skills · DevOps