proofstack
Server Details
Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- lttxzmj/proofstack-mcp
- GitHub Stars
- 0
Available Tools
3 toolsget_caseAInspect
Fetch one audited case by slug: pricing tiers as published, the paid trigger, what to copy, what NOT to copy, and every evidence source with its URL and grade.
| Name | Required | Description | Default |
|---|---|---|---|
| slug | Yes | The case slug, e.g. 'tally-forms' (find slugs via search_cases). |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are provided, but 'Fetch' clearly signals a read-only retrieval, and the description goes further by listing the returned content categories, including 'what NOT to copy' and evidence sources with URL and grade. It doesn't cover error or rate-limit behavior, but for a simple single-record fetch the key behavioral aspects are present.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
One dense sentence with no filler, front-loaded with the action and resource, and every listed element earns its place by telling the agent what data it will receive.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With only one required parameter and no output schema, the description sufficiently outlines the return contents. It could mention the exact response container or error behavior, but the tool is simple enough that nothing critical is missing.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The input schema already documents the single slug parameter, and the description adds a concrete example ('tally-forms') plus a pointer to search_cases for finding valid slugs. That is meaningful value beyond the schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description opens with a specific verb and object: 'Fetch one audited case by slug', then enumerates exactly what the case contains (pricing tiers, paid trigger, copy guidance, evidence sources). This distinguishes it from search_cases, which is for discovering slugs.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The parameter description explicitly says slugs can be found via search_cases, establishing a clear search-then-fetch workflow. It doesn't explicitly state when not to use the tool or how pricing_benchmarks relates, so it falls short of full exclusion guidance.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
pricing_benchmarksAInspect
Pricing statistics counted from the published pricing pages of audited cases: median first paid tier, free-tier prevalence, and which capabilities most often sit behind the paywall. Products without a public price are excluded rather than estimated; no ranking or traffic figures exist here because those cannot be verified freely.
| Name | Required | Description | Default |
|---|---|---|---|
| category | No | Optional category, e.g. 'Micro SaaS'. Omit for the whole library. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full burden of behavioral disclosure. It explains the data source (published pricing pages of audited cases), the exclusion rule (products without public price are excluded, not estimated), and the absence of ranking/traffic figures, all with reasoning. This goes well beyond a minimal description, though it does not mention freshness, update cadence, or output structure.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two tightly packed sentences with no filler. The first sentence enumerates the concrete statistical outputs, and the second provides essential limitations and exclusions. Every phrase earns its place, and the core information is front-loaded.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a simple read-only analytics tool with one optional parameter and no output schema, the description gives enough to understand the returned aggregate metrics and the methodological scope. It could go further by explicitly describing how the category parameter interacts with the output, but the schema covers the parameter and the listed statistics imply the response fields.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The schema already documents the single optional category parameter fully with an example and the omit behavior. The tool description adds no parameter-specific detail, but since schema coverage is 100%, the baseline of 3 applies; the description's methodological context is useful but not required for parameter understanding.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description names a specific deliverable (pricing statistics) and enumerates exactly what is computed: median first paid tier, free-tier prevalence, and paywalled capabilities. It is clearly differentiated from the siblings by focusing on aggregate library-level benchmarks rather than individual case retrieval or search, and it explicitly rules out ranking/traffic data.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies usage when aggregate pricing statistics are needed and clarifies the data boundary (public prices only), but it never explicitly says when to use this tool versus get_case or search_cases. No alternatives are named and no when-not-to-use conditions are stated, leaving the selection logic to inference.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
search_casesAInspect
Search ProofStack's audited business-model case studies of small software products. Every case carries revenue and pricing claims linked to public sources with an evidence grade, plus an explicit list of what does NOT transfer to other builders.
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | Keywords: a product name, category, or business question (e.g. 'form builder', 'open source analytics'). | |
| category | No | Optional exact category filter, e.g. 'Micro SaaS', 'Developer Tools', 'AI Tools'. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full burden of behavioral disclosure. It meaningfully discloses that cases are audited, include revenue and pricing claims tied to public sources with evidence grades, and explicitly state what does not transfer to other builders. This goes beyond the obvious 'search' behavior and helps the agent set expectations about result quality and limitations.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is two sentences with no filler. The first sentence front-loads the action and scope, while the second adds valuable behavioral context about evidence grades and non-transferable insights. Every sentence earns its place.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
There is no output schema, so the description must convey what results will contain. It does that well by stating that each case carries revenue/pricing claims, public-source links, an evidence grade, and an explicit non-transfer list. It could also mention relationship to siblings or return format, but the core information needed to invoke and interpret results is present.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so the baseline is 3. The description does not add parameter-specific meaning beyond the schema; the schema already explains that query accepts keywords like product names, categories, or business questions, and that category is an optional exact filter.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb and resource: 'Search ProofStack's audited business-model case studies of small software products.' It clearly identifies what the tool does and hints at differentiators—audited claims, evidence grades, and non-transferable lessons—that distinguish it from siblings like get_case and pricing_benchmarks.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies when to use the tool: when searching for case studies by keywords such as product, category, or business question. However, it does not explicitly address when not to use it or how it compares to get_case or pricing_benchmarks, leaving routing decisions to inference.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections. Dates show when Glama detected each change.
3 tool updates
- First observed
get_case - First observed
pricing_benchmarks - First observed
search_cases
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
Market research and competitive intelligence for startup ideas - every finding source-linked.
Verified SaaS, AI, and LLM pricing for 490+ tools: plans, hidden costs, TCO, and alternatives.
AI tools filed by category, with real launch dates and revenue verified through Stripe.
B2B SaaS competitor pricing changes, strategic moves, market landscapes, reports and comparisons.
Related MCP Servers
- AlicenseAqualityBmaintenanceProvides current, human-verified pricing for 100+ AI tools and calculates AI product margins (MRR after costs). Fetches live price index and runs locally.265MIT
- FlicenseNot gradedqualityBmaintenanceProvides verified pricing data for SaaS, AI tools, and LLMs across 490+ tools. No API key required, returns sourced records with attribution links.2-
- AlicenseNot gradedqualityBmaintenanceA dated log of SaaS price changes across 494 tools: old price, new price and verification date for every move, plus category-level pulse and the biggest recorded increases.532MIT

NUVC MCP Serverofficial
AlicenseNot gradedqualityDmaintenanceProvides VC-grade startup intelligence, allowing founders to validate ideas and VCs to screen deals using tools like scoring, investor matching, and financial analysis.18MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.
TDQS
Each tool has a clearly distinct role: retrieving one specific case, searching across cases, and computing aggregate pricing benchmarks. There is no meaningful overlap or ambiguity between them.
get_case and search_cases follow a clean verb_noun pattern, while pricing_benchmarks is a noun phrase rather than an action-oriented name. The mixed style is minor and does not hurt readability.
Three tools is a well-scoped count for a focused read-only case-study and benchmark server. Each tool earns its place and there is no redundancy.
The tool surface covers discovery, deep retrieval, and cross-case aggregate analysis, which are the core needs for this domain. Since the underlying data is curated and read-only, the absence of create/update/delete operations is appropriate.