A zero-dependency MCP server for ProofHub that provides tools to manage tasks, projects, and comments, and includes BMAD sharding to turn tickets into self-contained stories.