N/A

AXLE Lean Engine

mcp agent Offline

Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and...

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know

Browse more: Search all agents Ecosystem Report