Back to Directory/Developer Tools

io.github.daedalus/mcp-z3-prover

MCP server exposing Z3 solver API

Developer Toolsv0.1.0
View on GitHub

Learn More

Kubernetes MCP Server: Manage Clusters with ClaudeThe Kubernetes MCP server bridges AI coding agents and your k8s cluster. We cover the two main implementations, RBAC scoping for production safety, context pinning to prevent staging vs production mix-ups, and what Claude can actually do against a live cluster through MCP. MCPFind indexes 4,450 devtools MCP servers, and Kubernetes tooling is one of the fastest-growing segments.Read articleVercel MCP Server: Deploy Next.js Apps from ClaudeThe Vercel MCP server gives Claude access to your deployment pipeline. From listing deployments to promoting builds and reading runtime logs, this guide covers the full tool surface and how to wire it up alongside the GitHub MCP server.Read articleLinear MCP Server: Project Management for AI-Native TeamsLinear is the project management tool of choice for AI-native engineering teams. The Linear MCP server gives Claude and Cursor direct access to issues, cycles, and project data - no tab switching required. MCPFind's devtools category has 4,043 servers.Read article