Servers by ismailkerimov

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

Category

AI & Agents1

Memory & Knowledge0 Developer Tools & Repos0 API Development0 Databases0 Data Science & ML0 Analytics & Monitoring0 Cloud & DevOps0 Security & Testing0 Authentication & Identity0 Web, Search & Scraping0 Browser Automation0 Search0 Files & Storage0 Productivity & Workflow0 Communication & Collaboration0 Email0 Learning & Documentation0 Research0 Content Management0 Design & Media0 Finance & Commerce0 Payments & Billing0 E-commerce0 Sales & CRM0 Marketing, SEO & Social0 Gaming & Entertainment0 Lifestyle & Local0 Other0

Runtime

Local (stdio)1

Auth

No auth1

Works with

Claude Code1

Claude Desktop1

ChatGPT1

Cursor1

VS Code1

Codex CLI1

Gemini CLI1

Grok1

Zed1

Windsurf1

Agent SDK1

HTTP / API1

Minimum rating any

1 servers · 1 listing

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

By ismailkerimov

Math Logic

ismailkerimov · AI & Agents

MCP server providing verified math & logic tools for small LLMs (Mistral, Llama, DeepSeek)

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