# FiledProof

> Primary-source SEC filing intelligence and financial/disclosure reconciliation for AI agents.

- name: com.davisvillelabs.filedproof/filedproof
- version: 0.9.0
- connection class: R0 (autonomous)
- trust: 79/100 flags: no-repository
- quality: 84/100 (good)
- owner: not claimed
- descriptor: https://api.protogrid.dev/v1/servers/com.davisvillelabs.filedproof%2Ffiledproof
- tools: https://api.protogrid.dev/v1/servers/com.davisvillelabs.filedproof%2Ffiledproof/tools

**An agent can connect right now, no human step.** Remote endpoint, no authentication, reachable on the last probe.

## Connection (mcpServers)

```json
{
  "mcpServers": {
    "filedproof": {
      "type": "http",
      "url": "https://filedproof.davisvillelabs.com/mcp"
    }
  }
}
```


## Trust

- hygiene: 80
- liveness: 99
- freshness: 85
- provenance: 55
- drivers: +dns-namespace +website +reachable +uptime-98% ~updated-35d-ago -no-repository
- Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed.

## Quality 84/100 (good)

### protocol: 100 (weight 25)

- pass `protocol.modern`: supports 2026-07-28 (server/discover)
- pass `protocol.stateless`: answers without a session
- pass `protocol.transport`: streamable HTTP
- pass `protocol.list_ttl`: tool list is cacheable (ttlMs 3600000)

### authorization: n/a (weight 15)

- n/a `auth.prm`, `auth.as_metadata`, `auth.cimd`: no remote uses OAuth
- n/a `auth.secret_in_url`: no templated URL

### tool hygiene: 100 (weight 30)

- pass `tools.descriptions`: every tool has a description
- pass `tools.description_length`: descriptions are concise
- pass `tools.schemas`: every tool has an object input schema
- pass `tools.annotations`: 13 of 13 tools declare readOnlyHint or destructiveHint
- pass `tools.directory_hints`: every tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
- pass `tools.token_cost`: about 6,581 tokens to load every tool
- pass `tools.api_dump`: tools are not a one-to-one API dump

### stability: 25 (weight 15)

- warn `stability.changes`: 9 tool changes in 30 days
- fail `stability.rug_pull`: 2 tools kept their name but changed most of their description in 30 days; review before trusting them

### dependencies: n/a (weight 15)

- n/a `deps.known_vulns`, `deps.mcp_sdk_version`, `deps.resolvable`: no npm or PyPI package

- tools: 13, about 6,581 tokens to load them all
- tool set hash: 2a878d968bebda85d5ad44ba1ff1edd4
- tools last changed: 2026-10-05T18:44:08.032Z
- badge: [![protogrid quality](https://protogrid.dev/badge/com.davisvillelabs.filedproof/filedproof.svg)](https://protogrid.dev/servers/com.davisvillelabs.filedproof/filedproof)
- Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed.

### Tool changes

- 2026-10-05 `filedproof.check_disclosure_changes` changed (annotations)
- 2026-10-05 `filedproof.check_material_filing_changes` changed (annotations)
- 2026-09-25 `filedproof.check_disclosure_changes` changed (description)
  - before: Configured $15.00 USD specialist operation when runtime commerce is active. Use this for one issuer when the caller needs changes in newly filed disclosures prioritized against the prior filing of the same form, with compact before/after evidence from SEC filings and retry-safe checkpoint state. Supply a freeform topic, or profile=financial_risk for the bounded liquidity, debt, dilution/equity-issuance, and changed-risk report. The report separates documented filing changes from deterministic category/attention interpretation. Use filedproof.compare_filings for a free one-off structural diff between known accessions or filedproof.list_filings first when coverage is uncertain. Attention is not a legal, accounting, economic, or investment materiality judgment, and pre-payment validation rejects invalid or non-comparable work before a charge.
  - after: Configured 1.00 USD specialist operation when runtime commerce is active. Use this for one issuer when the caller needs changes in newly filed disclosures prioritized against the prior filing of the same form, with compact before/after evidence from SEC filings and retry-safe checkpoint state. Supply a freeform topic, or profile=financial_risk for the bounded liquidity, debt, dilution/equity-issuance, and changed-risk report. The report separates documented filing changes from deterministic category/attention interpretation. Use filedproof.check_material_filing_changes for a fast low-cost same-form 10-K or 10-Q comparison, filedproof.compare_filings for a free raw structural diff between known accessions, or filedproof.list_filings first when coverage is uncertain. Attention is not a legal, accounting, economic, or investment materiality judgment, and pre-payment validation rejects invalid or non-comparable work before a charge.
- 2026-09-25 `filedproof.check_material_filing_changes` added
  - Configured 0.10 USD fast specialist operation when runtime commerce is active. Compare two same-form 10-K or 10-Q filings and return source-grounded meaningful changes, explainable decision-relevance triage, low-signal/no-change sections, confidence, limitations, and routing guidance when deeper disclosure verification is warranted. Supply both accessions for an exact pair, or omit both and choose form so FiledProof deterministically selects the latest comparable pair. This is not a legal materiality or investment-significance determination.
- 2026-09-24 `filedproof.reconcile_financial_fact` changed (description, inputSchema, outputSchema) **meaning changed**
  - before: $1.00 USD specialist operation when commerce is active. Use this for one supported quarterly or fiscal-year revenue, net income, or operating cash flow fact. FiledProof resolves ticker/name/CIK to a durable SEC identity, selects or validates the filing, keeps later information out of the anchored primary answer, reports later different values separately, and returns reproducible arithmetic when a quarter must be derived. Use filedproof.preflight_financial_fact first when eligibility is uncertain, filedproof.verify_claim for a narrative factual proposition, or filedproof.search_evidence for general filing research. Unsupported or ambiguous requests abstain before payment.
  - after: $1.00 USD specialist operation when commerce is active. Use this for one supported quarterly or fiscal-year revenue, net income, or operating cash flow fact. Optionally provide comparison_accession plus comparison_value to verify that number against an SEC-filed 8-K earnings-release exhibit and assess GAAP/non-GAAP, period, currency, and scope comparability. Arithmetic bridges are returned only when visible source rows reproduce exactly; otherwise the reason remains unresolved. Use filedproof.preflight_financial_fact first when eligibility is uncertain, filedproof.verify_claim for a narrative factual proposition, or filedproof.search_evidence for general filing research. Unsupported or ambiguous requests abstain before payment.
- 2026-09-24 `filedproof.preflight_financial_fact` changed (description, inputSchema, outputSchema)
  - before: Free eligibility check for filedproof.reconcile_financial_fact. Use this before the $1 specialist operation when issuer identity, filing selection, supported metric, fiscal-period dates, annual-versus-quarter context, or required SEC Company Facts contexts may be uncertain. It resolves ticker/name/CIK to a durable SEC CIK and validates applicability without revealing the reconciled value, later revision values, source values, or derivation arithmetic. For general filing lookup or narrative research, use filedproof.resolve_issuer, filedproof.list_filings, or filedproof.search_evidence instead.
  - after: Free eligibility check for filedproof.reconcile_financial_fact. Use this before the $1 specialist operation when issuer identity, filing selection, supported metric, fiscal-period dates, annual-versus-quarter context, required SEC Company Facts contexts, or an optional SEC-filed 8-K earnings-release number comparison may be uncertain. It validates applicability without revealing the filing value, comparison source value, later revision values, evidence, or arithmetic. For general filing lookup or narrative research, use filedproof.resolve_issuer, filedproof.list_filings, or filedproof.search_evidence instead.
- 2026-09-24 `filedproof.check_disclosure_changes` changed (description, inputSchema, outputSchema)
  - before: Configured $15.00 USD specialist operation when runtime commerce is active. Use this for one issuer when the caller needs topic-relevant changes in newly filed disclosures prioritized against the prior filing of the same form, with explainable attention signals, compact before/after evidence, exact SEC provenance, uncertainty, follow-up guidance, and retry-safe checkpoint state. Use filedproof.compare_filings for a free one-off structural diff between two known accessions, filedproof.build_disclosure_lineage for historical evolution, or filedproof.list_filings first when forms, accessions, or coverage are uncertain. Attention is not a legal, accounting, economic, or investment materiality judgment, and pre-payment validation rejects invalid or non-comparable work before a charge.
  - after: Configured $15.00 USD specialist operation when runtime commerce is active. Use this for one issuer when the caller needs changes in newly filed disclosures prioritized against the prior filing of the same form, with compact before/after evidence from SEC filings and retry-safe checkpoint state. Supply a freeform topic, or profile=financial_risk for the bounded liquidity, debt, dilution/equity-issuance, and changed-risk report. The report separates documented filing changes from deterministic category/attention interpretation. Use filedproof.compare_filings for a free one-off structural diff between known accessions or filedproof.list_filings first when coverage is uncertain. Attention is not a legal, accounting, economic, or investment materiality judgment, and pre-payment validation rejects invalid or non-comparable work before a charge.
- 2026-09-24 `filedproof.reconcile_financial_fact` changed (title, description, inputSchema, outputSchema) **meaning changed**
  - before: $1.00 USD specialist operation when commerce is active. Use this for exactly one supported standalone-quarter revenue, net income, or operating cash flow value anchored to a non-amended 10-Q or 10-K. It returns exact reporting context, a direct value or reproducible cumulative-period subtraction, validation checks, and SEC provenance only when deterministic context compatibility is established. Use filedproof.preflight_financial_fact first when eligibility is uncertain, filedproof.verify_claim for a narrative factual proposition, or filedproof.search_evidence for general filing research. If the requested fact is not safely resolvable, the operation abstains before payment.
  - after: $1.00 USD specialist operation when commerce is active. Use this for one supported quarterly or fiscal-year revenue, net income, or operating cash flow fact. FiledProof resolves ticker/name/CIK to a durable SEC identity, selects or validates the filing, keeps later information out of the anchored primary answer, reports later different values separately, and returns reproducible arithmetic when a quarter must be derived. Use filedproof.preflight_financial_fact first when eligibility is uncertain, filedproof.verify_claim for a narrative factual proposition, or filedproof.search_evidence for general filing research. Unsupported or ambiguous requests abstain before payment.
- 2026-09-24 `filedproof.preflight_financial_fact` changed (title, description, inputSchema)
  - before: Free eligibility check only for filedproof.reconcile_financial_fact. Use this before the $1 specialist operation when the issuer CIK, anchor accession, supported metric, fiscal-quarter dates, or required SEC Company Facts contexts may be uncertain. It validates applicability without revealing the reconciled value, source values, or derivation arithmetic. For issuer lookup, filing inventory, or general disclosure research, use filedproof.resolve_issuer, filedproof.list_filings, or filedproof.search_evidence instead.
  - after: Free eligibility check for filedproof.reconcile_financial_fact. Use this before the $1 specialist operation when issuer identity, filing selection, supported metric, fiscal-period dates, annual-versus-quarter context, or required SEC Company Facts contexts may be uncertain. It resolves ticker/name/CIK to a durable SEC CIK and validates applicability without revealing the reconciled value, later revision values, source values, or derivation arithmetic. For general filing lookup or narrative research, use filedproof.resolve_issuer, filedproof.list_filings, or filedproof.search_evidence instead.

Full history: https://api.protogrid.dev/v1/servers/com.davisvillelabs.filedproof%2Ffiledproof/changes

## Remotes

- https://filedproof.davisvillelabs.com/mcp (streamable-http, auth none, reachable true, uptime30d 0.982906)

## Packages

_none_

## Tools (13)

- `filedproof.build_disclosure_lineage`: Build or reuse a persisted disclosure history for one issuer and topic, with deterministic per-filing fingerprints and same-form transition edges backed by exact SEC evidence. Use this when historical evolution or repeat reuse matters. Use filedproof.compare_filings for a one-off exact filing pair, filedproof.build_timeline for simple chronology without reusable transition state, or filedproof.build_disclosure_matrix when the objective is comparison across multiple companies. Structural change is not a materiality judgment.
- `filedproof.build_disclosure_matrix`: Align one disclosure topic across two to six public companies using each company's source-backed historical disclosure lineage. Use this when cross-company comparison is the objective and the caller needs current evidence plus latest same-form transition evidence on a common basis without independently retrieving, parsing, aligning, and re-comparing every filing history. Use filedproof.build_disclosure_lineage for one issuer, not this tool; use filedproof.check_disclosure_changes when monitoring newly filed changes for one issuer. The matrix is an evidence substrate, not a ranking or materiality judgment.
- `filedproof.build_evidence_pack`: Package the strongest relevant SEC evidence for an upstream AI agent, preserving source URLs, locators, search scope, coverage, and explicit non-inference rules. Use this when the research question is already known and the caller wants a compact evidence bundle ready for downstream reasoning. Use filedproof.search_evidence for broader retrieval, filedproof.verify_claim for an explicit support-or-contradiction verdict, or filedproof.build_timeline for chronological organization.
- `filedproof.build_timeline`: Organize topic-relevant filing evidence chronologically across a bounded set of SEC filings. Use this when sequence over time is the primary need. Use filedproof.build_disclosure_lineage when you need persisted same-form evolution and reusable transition state, filedproof.compare_filings for exactly two known accessions, or filedproof.check_disclosure_changes for prioritized monitoring of newly filed changes. The timeline does not invent semantic change or materiality.
- `filedproof.check_disclosure_changes`: Configured 1.00 USD specialist operation when runtime commerce is active. Use this for one issuer when the caller needs changes in newly filed disclosures prioritized against the prior filing of the same form, with compact before/after evidence from SEC filings and retry-safe checkpoint state. Supply a freeform topic, or profile=financial_risk for the bounded liquidity, debt, dilution/equity-issuance, and changed-risk report. The report separates documented filing changes from deterministic category/attention interpretation. Use filedproof.check_material_filing_changes for a fast low-cost same-form 10-K or 10-Q comparison, filedproof.compare_filings for a free raw structural diff between known accessions, or filedproof.list_filings first when coverage is uncertain. Attention is not a legal, accounting, economic, or investment materiality judgment, and pre-payment validation rejects invalid or non-comparable work before a charge.
- `filedproof.check_material_filing_changes`: Configured 0.10 USD fast specialist operation when runtime commerce is active. Compare two same-form 10-K or 10-Q filings and return source-grounded meaningful changes, explainable decision-relevance triage, low-signal/no-change sections, confidence, limitations, and routing guidance when deeper disclosure verification is warranted. Supply both accessions for an exact pair, or omit both and choose form so FiledProof deterministically selects the latest comparable pair. This is not a legal materiality or investment-significance determination.
- `filedproof.compare_filings`: Compare two known filings from the same issuer and return source-backed added and removed disclosure blocks. Use this low-level operation when you already know the exact left and right accessions and only need a structural diff. Use filedproof.build_disclosure_lineage for multi-filing historical evolution, filedproof.build_timeline for topical chronology, or filedproof.check_disclosure_changes when you need prioritized new-change triage and recurring checkpoint semantics. Structural change is not semantic interpretation or a materiality judgment.
- `filedproof.list_filings`: List recent or bounded historical SEC filings with canonical source metadata and explicit coverage limits. Use this when you need form, filing-date, or accession inventory, when choosing an exact pair for filedproof.compare_filings, or when confirming coverage before filedproof.check_disclosure_changes. For passage-level research, use filedproof.search_evidence instead.
- `filedproof.preflight_financial_fact`: Free eligibility check for filedproof.reconcile_financial_fact. Use this before the $1 specialist operation when issuer identity, filing selection, supported metric, fiscal-period dates, annual-versus-quarter context, required SEC Company Facts contexts, or an optional SEC-filed 8-K earnings-release number comparison may be uncertain. It validates applicability without revealing the filing value, comparison source value, later revision values, evidence, or arithmetic. For general filing lookup or narrative research, use filedproof.resolve_issuer, filedproof.list_filings, or filedproof.search_evidence instead.
- `filedproof.reconcile_financial_fact`: $1.00 USD specialist operation when commerce is active. Use this for one supported quarterly or fiscal-year revenue, net income, or operating cash flow fact. Optionally provide comparison_accession plus comparison_value to verify that number against an SEC-filed 8-K earnings-release exhibit and assess GAAP/non-GAAP, period, currency, and scope comparability. Arithmetic bridges are returned only when visible source rows reproduce exactly; otherwise the reason remains unresolved. Use filedproof.preflight_financial_fact first when eligibility is uncertain, filedproof.verify_claim for a narrative factual proposition, or filedproof.search_evidence for general filing research. Unsupported or ambiguous requests abstain before payment.
- `filedproof.resolve_issuer`: Resolve a ticker, CIK, or exact company name to one SEC issuer. Use this first when issuer identity is uncertain or before passing a CIK or accession into another FiledProof tool. Do not use it to list filings or search disclosure text; use filedproof.list_filings or filedproof.search_evidence after identity is resolved.
- `filedproof.search_evidence`: Find relevant primary-source passages across a bounded set of SEC filings. Use this for open-ended filing research when you want evidence records with provenance but do not need a claim verdict or a curated answer bundle. Use filedproof.verify_claim for one explicit factual proposition, filedproof.build_evidence_pack for a compact answer-ready bundle, or filedproof.build_timeline when chronology is the main objective. Relevance is not a truth verdict.
- `filedproof.verify_claim`: Conservatively assess one explicit factual claim against official SEC filing evidence and return support, contradiction, mixed, partial, or insufficient-evidence stance signals. Use this when the caller already has a proposition to test. Use filedproof.search_evidence for open-ended research, filedproof.reconcile_financial_fact for one supported standalone-quarter revenue, net-income, or operating-cash-flow value, or filedproof.check_disclosure_changes for new disclosure-change monitoring. A filing establishes what the company reported, not independent real-world truth.