GasStationManager/LeanTool

A "code intepreter" for Lean

Latest release v0.3.1 · 2 Jul 2025

1 file for Claude Code: LeanTool CLAUDE.md — 1,164 tokens loaded in every session.

Open on GitHub

87Stars on the repository

1Files it configures its agents with

1,164Tokens loaded in every session

1Agent configured

Instructions

LeanTool CLAUDE.md CLAUDE.md A 1,164 tok

These files are GasStationManager/LeanTool's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.