Servers by xqyww123

Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold. Every figure on a card is counted from this marketplace's own rows.

Browse stacks Become a publisher

Filters

Verified publishers only Has a free tier No local install needed Only what I saved 0 Already in one of my lists

Pricing model

Free1

1 servers · 1 listing

Paid listings first, then by readers of the listing, not by downloads

By xqyww123

Isabelle

xqyww123 · Developer Tools & Repos

MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface

Free

Compare

tick one more

Side-by-side

mcprush

The marketplace for MCP servers and agent skills — install them in one command, and the people who wrote them get paid.

For customers

MCP Servers
Agent skills
Stacks
Pricing
Trust & scanning

For publishers

Start earning
Revenue share
Why us?
Developer Guide
Listing policy

Developers

CLI reference
Gateway API
Leaderboard
Affiliate program
Status

Company

Blog
About
For Investors
Careers
Contact