Collection of Claude Skills for DSPy framework - program language models, optimize prompts, and build RAG pipelines systematically

Chiasmus is an MCP server that gives language models access to formal verification

K8s-mcp-server is a Model Context Protocol (MCP) server that enables AI assistants like Claude to securely execute Kubernetes commands. It provides a bridge between language models and essential Kubernetes CLI tools including kubectl, helm, istioctl, and argocd, allowing AI systems to assist with cluster management, troubleshooting, and deployments

Rails Engine with MCP compliant Spec.

Production Claude Code skills for n8n from a Verified Creator's 100+ workflows