N/A

Rust Lean

mcp agent Offline

Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, 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