Skip to content

File Type Leanconfig

The Leanconfig icon represents a file type associated with Lean configuration settings.

Exports at 24 × 24 px

File Type Leanconfig icon from VSCode Icons
Get Pro

Code

File Type Leanconfig in your framework

In any framework. Customize it above, and the code follows.

export const FileTypeLeanconfigIcon = (props: React.SVGProps<SVGSVGElement>) => (
  <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 32 32" fill="none" stroke="currentColor" {...props}>
    <path fill="none" stroke="#dedede" strokeWidth="2" d="m3 3l13 25L29 3M10 16h12"/><path fill="#99b8c4" d="m27.075 25.107l.363-.361c1.68.055 1.706 0 1.78-.177l.462-1.124l.034-.107l-.038-.093c-.02-.049-.081-.2-1.13-1.2v-.526c1.211-1.166 1.185-1.226 1.116-1.4l-.46-1.136c-.069-.17-.1-.237-1.763-.191l-.364-.367a8 8 0 0 0-.057-1.657l-.047-.106l-1.2-.525c-.177-.081-.239-.11-1.372 1.124l-.509-.008c-1.167-1.245-1.222-1.223-1.4-1.152l-1.115.452c-.175.071-.236.1-.169 1.79l-.36.359c-1.68-.055-1.7 0-1.778.177L18.606 20l-.036.108l.038.094c.02.048.078.194 1.13 1.2v.525c-1.211 1.166-1.184 1.226-1.115 1.4l.459 1.137c.07.174.1.236 1.763.192l.363.377a8 8 0 0 0 .055 1.654l.047.107l1.208.528c.176.073.236.1 1.366-1.13l.509.006c1.168 1.247 1.228 1.223 1.4 1.154l1.113-.45c.176-.075.237-.102.169-1.795m-4.788-2.632a2 2 0 1 1 2.618 1.14a2.023 2.023 0 0 1-2.618-1.14"/>
  </svg>
);

VSCode Icons

Icons that share its tags, in the same style.

  • File Type Config icon from VSCode Icons
  • File Type Language Configuration icon from VSCode Icons
  • File Type Ron icon from VSCode Icons
  • File Type Grit icon from VSCode Icons
  • File Type Ini icon from VSCode Icons
  • File Type Master Co icon from VSCode Icons
  • File Type Objidconfig icon from VSCode Icons
  • File Type Registry icon from VSCode Icons
  • File Type Snakemake icon from VSCode Icons
  • File Type Taplo icon from VSCode Icons
  • Folder Type Config icon from VSCode Icons
  • Folder Type Config Opened icon from VSCode Icons
  • Folder Type Locale icon from VSCode Icons
  • File Type Bak icon from VSCode Icons
  • File Type Esphome icon from VSCode Icons
  • File Type Hypr icon from VSCode Icons
  • File Type Lean icon from VSCode Icons
  • File Type Ovpn icon from VSCode Icons
  • File Type Appsemble icon from VSCode Icons
  • File Type Astroconfig icon from VSCode Icons
  • File Type Bazel icon from VSCode Icons
  • File Type Bazel Ignore icon from VSCode Icons
  • File Type Bazel Version icon from VSCode Icons
  • File Type Caddy icon from VSCode Icons

Skip the copy and paste. With Pro, your AI agent finds and installs any VSCode Icons icon from a prompt.

Get Pro

Pricing

VSCode Icons MCP, with Pro

Ask for File Type Leanconfig or any of 1,426 VSCode Icons icons and your agent installs it. The MCP comes with every Pro plan, with 6,000+ blocks and 14 premium templates. The icons stay free.

4.9/5 out of 5 · 150+ reviewsfrom 150+ founders and developers.

  • Secure checkout via Stripe
  • Code lives in your repo
  • Keep what you've shipped if you cancel
  • License terms

FAQ

Frequently asked questions

What the File Type Leanconfig icon means and where it's used, then how to install, style, label and license it.

4.9 out of 5 from 150+ developers

Install File Type Leanconfig from a prompt

MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.

Get Pro