Idris
Idris is a programming language for building functional and type-safe applications.
Add shadcn.io to your AI agent. · Pro It installs Idris, or any of 294k icons, from a prompt, with Pro.
Set up MCPExports at 13 × 24 px
930 in File IconsISC license (opens in a new tab)Free to copy and download
Code
Idris in your framework
In any framework. Customize it above, and the code follows.
export const IdrisIcon = (props: React.SVGProps<SVGSVGElement>) => (
<svg xmlns="http://www.w3.org/2000/svg" width="13" height="24" viewBox="0 0 279 512" {...props}>
<path fill="currentColor" d="M90.905 76.16c65.59 19.85 82.369 36.202 105.43 95.468c-4.474-72.265-33.395-102.39-105.43-95.468M0 189.82c42.58 13.113 92.023 23.59 110.294 104.942C117.836 193.273 69.785 188.102 0 189.82m28.77-64.715c63.983 13.223 104.77 30.595 128.607 113.163c5.469-106.517-52.995-117.213-128.606-113.163M112.673 0c349.152 227.665-77.556 231.688 15.258 496l54.942 16c-151.36-205.193 336.883-310.67-70.2-512"/>
</svg>
);File Icons
More like it
Icons that share its tags, in the same style.
Search File Icons
Skip the copy and paste. With Pro, your AI agent finds and installs any File Icons icon from a prompt.
Get ProTags
Browse by tag
Idris is tagged programming and functional programming. Related tags follow; each opens its icons from every library.
Pricing
File Icons MCP, with Pro
Ask for Idris or any of 930 File 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.
Billing
Billed once a year in USD. Cancel anytime.
- How many people can use the license.
- Client work, SaaS products and anything you charge for.
- Production-ready React sections: hero, pricing, features, dashboards and more.
- Complete multi-page sites you can ship as they are.
- React icons from every major library, installable with one command.
- Presets that restyle every block, in light and dark.
- Lets your AI editor search, preview and install blocks for you.
- Priority requests are answered first.
Individual
For personal projects & open source
$32instead of $49/mo
$389 billed yearly
- Seats: 1 seat
- Commercial use: Personal & open source only
- Pro blocks: 6,000+ blocks
- Templates: All 14 templates
- React icons: 294k+ icons
- Themes: All 59 themes
- MCP server: Basic usage
- Support: Standard
Team
Most popularFor freelancers, agencies & startups
$66instead of $99/mo
$789 billed yearly · ≈ $13/dev/mo
- Seats: Up to 5 seats
- Commercial use: Included
- Pro blocks: 6,000+ blocks
- Templates: All 14 templates
- React icons: 294k+ icons
- Themes: All 59 themes
- MCP server: High usage
- Support: Priority
Organization
For companies with larger teams
$132instead of $199/mo
$1,589 billed yearly
- Seats: Unlimited seats
- Commercial use: Included
- Pro blocks: 6,000+ blocks
- Templates: All 14 templates
- React icons: 294k+ icons
- Themes: All 59 themes
- MCP server: Unlimited usage
- Support: Priority
Billed once a year in USD. Cancel anytime.
Individual
For personal projects & open source
$32instead of $49/mo
$389 billed yearly
- How many people can use the license.Seats: 1 seat
- Client work, SaaS products and anything you charge for.Commercial use: Personal & open source only
- Production-ready React sections: hero, pricing, features, dashboards and more.Pro blocks: 6,000+ blocks
- Complete multi-page sites you can ship as they are.Templates: All 14 templates
- React icons from every major library, installable with one command.React icons: 294k+ icons
- Presets that restyle every block, in light and dark.Themes: All 59 themes
- Lets your AI editor search, preview and install blocks for you.MCP server: Basic usage
- Priority requests are answered first.Support: Standard
Team
Most popularFor freelancers, agencies & startups
$66instead of $99/mo
$789 billed yearly · ≈ $13/dev/mo
Everything in Individual, plus
- How many people can use the license.Seats: Up to 5 seats
- Client work, SaaS products and anything you charge for.Commercial use: Included
- Lets your AI editor search, preview and install blocks for you.MCP server: High usage
- Priority requests are answered first.Support: Priority
Organization
For companies with larger teams
$132instead of $199/mo
$1,589 billed yearly
Everything in Team, plus
- How many people can use the license.Seats: Unlimited seats
- Lets your AI editor search, preview and install blocks for you.MCP server: Unlimited usage
- 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 Idris icon means and where it's used, then how to install, style and license it.
Install Idris from a prompt
MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.