Agda
Agda is a programming language and proof assistant based on type theory.
Add shadcn.io to your AI agent. · Pro It installs Agda, or any of 294k icons, from a prompt, with Pro.
Set up MCPExports at 24 × 24 px
930 in File IconsISC license (opens in a new tab)Free to copy and download
Code
Agda in your framework
In any framework. Customize it above, and the code follows.
export const AgdaIcon = (props: React.SVGProps<SVGSVGElement>) => (
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 512 512" {...props}>
<path fill="currentColor" d="M426.934 54.19L261.24 219.883c-7.475 6.74-17.17-3.385-10.544-10.544L416.389 43.645c7.048-6.74 17.328 3.086 10.545 10.545m72.302 30.879l-82.847 82.846c-6.743 7.413 3.446 17.258 10.545 10.545l82.846-82.847c6.643-7.568-3.561-17.277-10.544-10.544m0-41.424l-82.847 82.847c-6.781 7.404 3.1 17.204 10.545 10.545L509.78 54.19c6.72-7.533-3.28-17.04-10.544-10.545m-289.964 0l-82.846 82.847c-6.765 7.22 3.095 17.223 10.544 10.545l82.847-82.847c6.632-7.26-3.09-17.268-10.545-10.545m-30.878 93.392L261.24 54.19c6.601-7.003-2.994-17.398-10.544-10.545l-82.847 82.847c-6.65 7.317 3.168 17.134 10.545 10.545m77.574 333.57c84.33.012 169.911-64.196 173.15-173.15V217.7l80.662-80.663c6.69-7.46-3.35-17.265-10.544-10.545l-82.847 82.847a7.46 7.46 0 0 0-2.184 5.272v82.847c-2.483 101.816-82.348 158.237-158.237 158.237c-69.55 0-155.355-52.151-158.237-158.237V214.61a7.456 7.456 0 0 0-7.456-7.456H25.429L178.394 54.19c6.622-7.003-2.924-17.298-10.545-10.545L2.156 209.34c-4.506 4.64-1.566 12.727 5.272 12.727h75.39v75.39c4.57 114.638 93.018 173.139 173.15 173.15m-137.94-309.846c0-8.578-9.35-13.968-16.789-9.68s-7.44 15.07 0 19.359s16.79-1.101 16.79-9.68m41.424 0c0-8.578-9.35-13.968-16.79-9.68c-7.439 4.29-7.439 15.07 0 19.359c7.44 4.289 16.79-1.101 16.79-9.68"/>
</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
Agda is tagged programming and functional programming. Related tags follow; each opens its icons from every library.
Pricing
File Icons MCP, with Pro
Ask for Agda 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 Agda icon means and where it's used, then how to install, style and license it.
Install Agda from a prompt
MCP, 6,000+ blocks and 14 premium templates in every Pro plan. The icons stay free.