lean4 (Agent Skills)

GitHub

Lean 4 programming language and theorem prover

8,783 stars Lean 0 Rule Files Full Docs MCP View JSON API #lean#lean4
Documentation Agent Skills & Rules MCP Server API Specification

No Explicit Rule Files Found

This repository does not currently contain dedicated AI agent rule files (.cursorrules, CLAUDE.md, AGENTS.md).

Read Full Technical Documentation

Explore Related Technologies & Topics

View All 9,111+ Repositories →

Discover similar high-velocity repositories, agent skills, and OpenAPI specifications across the ecosystem.

#lean Browse lean catalog → #lean4 Browse lean4 catalog → 🧠 Agent Skills Prompt & rule files → ⚡ MCP Servers Model Context Protocol → 🔌 OpenAPI Specs REST & Swagger schemas → ⚖️ Benchmark YakaAI vs Alternatives →