Back to Directory/Developer Tools

io.github.RudrenduPaul/haltproof

Fail-closed deterministic checks and hash-chained receipts for AI agent outputs via MCP.

Developer Toolsv0.1.3
View on GitHub

Learn More

Chrome DevTools MCP Server: Full Tools List for 2026Google's Chrome DevTools MCP server gives AI coding agents live control over a real Chrome instance. Here is what the 59 tools actually do, how to install it, and when to reach for it instead of Playwright MCP.Read articleGitLab MCP Server: Pipelines, MRs, and CI/CD for ClaudeGitLab's official MCP server is still in beta and gated to Premium and Ultimate, which pushes many teams toward zereight/gitlab-mcp, a community server with more tools than GitLab ships itself. This guide covers both paths and which one fits a Free-tier or self-managed instance.Read articleHow to Build an MCP Server in Go: A Step-by-Step TutorialGo accounts for a small slice of MCPFind's language-tagged servers today, but its concurrency model and single-binary deployment suit high-throughput tools well. This guide builds a working server with the official Go SDK and compares it against the community library most Go servers use today.Read article