Homebrew Formulae
Server Details
Homebrew formulae + casks + install analytics (formulae.brew.sh)
- Status
- Unhealthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- pipeworx-io/mcp-homebrew-formulae
- GitHub Stars
- 0
- Server Listing
- mcp-homebrew-formulae
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections. Dates show when Glama detected each change.
19 tool updates
- First observed
analytics_cask_install - First observed
analytics_install - First observed
ask_pipeworx - First observed
bet_research - First observed
cask - First observed
compare_entities - First observed
discover_tools - First observed
entity_profile - First observed
forget - First observed
formula - First observed
pipeworx_feedback - First observed
polymarket_arbitrage - First observed
polymarket_edges - First observed
recall - First observed
recent_changes - First observed
recent_formulae - First observed
remember - First observed
resolve_entity - First observed
validate_claim
Frequently Asked Questions
Claiming proves that you control a remote MCP connector. It does not move, proxy, or interrupt the server.
Open the connector listing, choose Claim ownership, and sign in to Glama.
Complete one verification method:
GitHub identity — fastest for official registry listings. For a namespace such as
io.github.alice/server, link the matching GitHub user, then choose Claim with GitHub. An organization namespace such asio.github.acme/serveralso needs that organization to have installed the Glama AI GitHub App and approved its permissions, because GitHub discloses organization membership only to apps it has installed. Use HTTP or DNS when it has not.HTTP challenge — works when you can deploy a public file. Generate a token, publish the exact JSON Glama shows at
/.well-known/glama.jsonon the same origin as the connector, then choose Check HTTP challenge.DNS challenge — works when you control DNS but cannot change the server. Generate a token, create the exact TXT record Glama shows, wait for it to propagate, then choose Check DNS challenge.
After verification, Glama sends a confirmation email and gives you access to listing details, thumbnails, health checks, and analytics. Keep the HTTP file or DNS record in place: Glama periodically checks it and ownership remains verified while the token is discoverable.
The HTTP ownership file has this structure:
{
"$schema": "https://glama.ai/mcp/schemas/connector.json",
"claim": "glama_claim_..."
}Claim tokens are opaque, stable, and bound to the signed-in Glama account. They contain no email address or other personal information. If Glama can no longer discover a verified HTTP or DNS token, it starts a seven-day grace period before removing claim-based access. Restore the same token during that period to keep ownership verified. Never publish an email address, Glama session token, GitHub token, or connector credential as ownership proof.
If verification fails, confirm that you copied the current token exactly. The HTTP file must be public, return valid JSON with a successful HTTP response, and stay on the connector's origin. DNS changes may need more time to propagate. A claim cannot transfer to a different origin or hostname: if the connector target changes, Glama starts the grace period and the new target must be claimed separately after the previous claim is released.
For a connector linked to the official MCP Registry, registry updates continue to replace its name, description, and URL by default. After claiming, open Manage connector and enable Use Glama listing details as the source of truth if edits made on Glama should be preserved. Categories and thumbnails are always managed on Glama; registry linkage and technical connection settings continue to sync.
Control your server's listing on Glama, including description and metadata
Access analytics and receive server usage reports
Get monitoring and health status updates for your server
Feature your server to boost visibility and reach more users
To improve your MCP server's ranking:
Claim ownership of the server listing
Complete the server profile with an accurate description and thumbnail
Provide a test profile so Glama can connect to and evaluate the server
Keep tool definitions clear and complete to earn a high Tool Definition Quality Score (TDQS)
Route real usage through the Glama Gateway; more recorded successful server uses also improve the ranking
For users:
Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging
Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do
Centralized credential management – store and rotate API keys and OAuth tokens in one place
Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently
For server owners:
Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users
Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation
Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!
Related MCP Connectors
Repology cross-distro package version aggregator
Dev-registry data: npm/PyPI/Docker/VS Code packages, dep graphs, vulns, 50+ ecosystems.
Trend data from Google, TikTok, Amazon, Reddit, YouTube, Steam, npm and more as JSON
Trend data from Google Trends, YouTube, TikTok, Reddit, Amazon, Wikipedia, npm, Steam and more
Related MCP Servers
- AlicenseNot gradedqualityBmaintenanceLocal-first macOS MCP server for searching files, running approved Shortcuts, managing Homebrew packages, and working with local models, with read-only defaults and optional gated mutations.MIT

ToolPiperofficial
AlicenseNot gradedqualityDmaintenance300+ MCP tools for macOS, all on-device — local AI inference (llama.cpp on Metal), voice, vision OCR, local RAG, browser automation, and ~140 system actions across 26 macOS domains. Nothing leaves your Mac.2MIT- AlicenseNot gradedqualityCmaintenanceExposes Umami analytics (Cloud or self-hosted) as read-only tools for querying website stats, pageviews, metrics, and active visitors.16MIT
- AlicenseNot gradedqualityAmaintenanceLocal-first miniature-paint inventory and cross-brand color matching for AI agents. Search 1,607 paints (Citadel, Army Painter, Vallejo, AK), match by hex or description, and track what you own — 7 tools over stdio.91MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.
TDQS
The tool set mixes Homebrew-related tools (5) with a large set of unrelated Pipeworx data analysis tools (14), creating two distinct domains that are hard to distinguish. Within the Pipeworx group, tools like compare_entities, entity_profile, and validate_claim overlap in purpose, causing ambiguity.
All tool names use snake_case, which is consistent in style. However, the naming pattern is not predictable: some combine a verb and noun (e.g., resolve_entity), while others are noun-centric (entity_profile) or verb-only (forget). The lack of a uniform verb_noun pattern reduces predictability.
At 19 tools, the count is high for a server named after a niche domain (Homebrew Formulae). Only 5 tools relate to Homebrew, while the remaining 14 serve a completely different purpose, making the server feel bloated and unfocused.
For the Homebrew domain, the tools only provide analytics and lookups, missing common operations like searching or updating. For the Pipeworx domain, there are gaps such as no tool for placing bets or managing SEC filings directly. The server tries to cover too many areas without full coverage in any.