</>MCP Agents Market

⚡ Connect your AI Submit

Home/FStarLang

F

FStarLang

1 listing3.1k total

FStar

A Proof-oriented Programming Language

MCP Agents Market

The open directory for MCP servers, skills, plugins, and agents. Discover it here, build it on GitHub.

Browse

MCP Servers
Skills
Plugins
Agents
Top listings
Categories

Learn

What is the agent stack?
MCP Server?
Agent Skill?
Claude Code Plugin?
AI Agent (Sub-agent)?

Platform

All listings
Submit a listing
MCP docs ↗

Company

About
Contact
Privacy
Terms

© 2026 MCP Agents Market

Privacy Terms About Contact