FiledProof

Measured conclusion: Deep-tested. L2 outcome: tools_ok.

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

Add to your agent

Copy this into your MCP client config:

{
  "mcpServers": {
    "FiledProof": {
      "url": "https://filedproof.davisvillelabs.com/mcp",
      "transport": "streamable-http"
    }
  }
}

Measured tools (13)

• filedproof.resolve_issuer read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.list_filings read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • forms — array — SEC filing form types to include, such as 10-K, 10-Q, or 8-K.
  • limit — integer — Maximum number of operation-specific evidence or result records to return.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.search_evidence read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • q (required) — string — Research question or disclosure topic.
  • item — string — Optional SEC filing item, such as 1A or 7.
  • forms — array — SEC forms to search. Defaults to 10-K and 10-Q.
  • limit — integer — Maximum number of operation-specific evidence or result records to return.
  • filings — integer — Maximum number of filings to inspect for this invocation.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.
  • section — string — Optional exact normalized section heading.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.build_evidence_pack read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • q (required) — string — Research question or disclosure topic.
  • item — string — Optional SEC filing item, such as 1A or 7.
  • forms — array — SEC forms to search. Defaults to 10-K and 10-Q.
  • limit — integer — Maximum number of operation-specific evidence or result records to return.
  • filings — integer — Maximum number of filings to inspect for this invocation.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.
  • section — string — Optional exact normalized section heading.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.build_timeline read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • q (required) — string — Research question or disclosure topic.
  • item — string — Optional SEC filing item, such as 1A or 7.
  • forms — array — SEC forms to search. Defaults to 10-K and 10-Q.
  • limit — integer — Maximum number of operation-specific evidence or result records to return.
  • filings — integer — Maximum number of filings to inspect for this invocation.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.
  • section — string — Optional exact normalized section heading.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.verify_claim read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • claim (required) — string — The factual claim to assess against the company's SEC filings.
  • item — string — Optional SEC filing item such as 1A or 7.
  • forms — array — SEC forms to search. Defaults to 10-K, 10-Q, and 8-K.
  • limit — integer — Maximum number of operation-specific evidence or result records to return.
  • filings — integer — Maximum number of filings to inspect for this invocation.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.
  • section — string — Optional exact normalized section heading.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.build_disclosure_lineage read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • topic (required) — string — Public-company disclosure topic whose filing-to-filing history should be accumulated, such as AI regulation, cybersecurity, or supply-chain concentration.
  • item — string — Optional SEC filing item such as 1A or 7.
  • forms — array — SEC forms to include. Defaults to 10-K and 10-Q. Same-form transitions are linked independently.
  • limit — integer — Maximum topic-relevant change evidence records retained per transition.
  • filings — integer — Maximum filings to inspect in this invocation. Previously persisted lineage can contain more accumulated history.
  • history — boolean — Use bounded historical SEC submission archives when the durable catalog does not already provide enough history.
  • section — string — Optional exact normalized section heading.
  • comparisonLimit — integer — Maximum changed blocks inspected in each same-form structural comparison.
  • fingerprintLimit — integer — Maximum relevant evidence records used to fingerprint one filing.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.build_disclosure_matrix read-only

  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.

  Parameters:

  • identifiers (required) — array — Two to six public-company identifiers to align on the same filing-grounded disclosure topic.
  • topic (required) — string — Disclosure topic to align across companies, such as cybersecurity, AI infrastructure, or supply-chain concentration.
  • item — string — Optional SEC filing item such as 1A or 7.
  • forms — array — SEC forms to align. Defaults to 10-K for stronger cross-company comparability.
  • limit — integer — Maximum topic-relevant change evidence retained in each underlying lineage transition.
  • filings — integer — Maximum filings per company used to build or reuse the underlying disclosure lineage.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.
  • section — string — Optional exact normalized section heading.
  • comparisonLimit — integer — Maximum number of changed blocks to inspect in each filing comparison.
  • maxArchiveFiles — integer — Maximum number of historical SEC submission archive files to inspect when history is enabled.
  • fingerprintLimit — integer — Maximum number of relevant evidence records used to fingerprint one filing.
  • currentEvidenceLimit — integer — Maximum current-filing evidence records returned per company and form.
  • transitionEvidenceLimit — integer — Maximum evidence records returned for each latest same-form transition.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• 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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • form — string — Comparable SEC form. Defaults to 10-K and must match both explicit filings when accessions are supplied.
  • item — string — Optional SEC filing item such as 1A or 7.
  • focus — string — Optional bounded decision-relevance focus. Defaults to all maintained change categories.
  • limit — integer — Maximum meaningful change objects to return.
  • history — boolean — Allow bounded historical SEC submission lookup when automatic pair resolution needs it.
  • laterAccession — string — Optional later SEC accession. Supply together with earlierAccession for an exact pair.
  • earlierAccession — string — Optional earlier SEC accession. Supply together with laterAccession for an exact pair.

  Hints: read-only no · destructive no · idempotent no · open-world yes

• 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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • item — string — Optional SEC filing item such as 1A or 7.
  • forms — array — SEC forms to monitor. Defaults to 10-K and 10-Q.
  • limit — integer — Maximum topic-relevant change evidence records per filing comparison.
  • topic — string — Disclosure topic to monitor, such as AI capital spending, China risk, or cybersecurity. Provide topic or profile, not both.
  • history — boolean — Whether to use bounded historical SEC submission archives when needed.
  • profile — string — Bounded report profile. financial_risk checks liquidity/capital resources, debt/borrowings/covenants/maturities, dilution/equity-issuance disclosures, and changed risk disclosures together. Provide profile or topic, not both.
  • maxNewFilings — integer — Maximum newly detected filings to process in one check.
  • sinceAccession — string — Checkpoint accession returned by the previous paid check. Omit for the first snapshot.
  • comparisonLimit — integer — Maximum number of changed blocks to inspect in each filing comparison.
  • maxArchiveFiles — integer — Maximum historical SEC submission archive files to inspect when history is enabled.

  Hints: read-only no · destructive no · idempotent no · open-world yes

• filedproof.compare_filings read-only

  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.

  Parameters:

  • identifier (required) — string — Ticker, CIK, or exact SEC company name.
  • left (required) — string — Left SEC accession number.
  • right (required) — string — Right SEC accession number.
  • item — string — Optional filing item such as 1A or 7.
  • limit — integer — Maximum number of operation-specific evidence or result records to return.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.preflight_financial_fact read-only

  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.

  Parameters:

  • metric (required) — string — Financial metric to reconcile: revenue, net income, or operating cash flow.
  • period_start (required) — string — Requested fiscal-period start date.
  • period_end (required) — string — Requested fiscal-period end date.
  • cik — string — Legacy/direct SEC CIK input. Prefer identifier when starting from a ticker or company name.
  • as_of_date — string — Optional historical cutoff. The selected anchor filing must have been filed on or before this date; later values never replace the primary answer.
  • identifier — string — Issuer ticker, exact company name, CIK, or CIK-prefixed identifier. FiledProof resolves this to the durable SEC CIK before research and payment.
  • period_type — string — Whether the requested value is one standalone fiscal quarter or the full fiscal year.
  • anchor_accession — string — Optional 10-Q/10-K accession, including amendments. If omitted, FiledProof selects the earliest compatible filing for the requested period.
  • comparison_value — string — Actual-unit integer value claimed from the SEC-filed earnings-release exhibit. FiledProof must find this value in metric context before the comparison is eligible.
  • comparison_exhibit — string — Optional exact EX-99 exhibit filename or safe relative path when an 8-K contains multiple candidate earnings-release exhibits.
  • comparison_accession — string — Optional SEC 8-K/8-K/A accession containing an earnings-release exhibit to compare with the filing-anchored GAAP fact. Provide comparison_value with it.
  • include_subsequent_revisions — boolean — When true, report later different values for the same SEC concept, unit, and period separately from the primary anchored value.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

• filedproof.reconcile_financial_fact read-only

  $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.

  Parameters:

  • metric (required) — string — Financial metric to reconcile: revenue, net income, or operating cash flow.
  • period_start (required) — string — Requested fiscal-period start date.
  • period_end (required) — string — Requested fiscal-period end date.
  • cik — string — Legacy/direct SEC CIK input. Prefer identifier when starting from a ticker or company name.
  • as_of_date — string — Optional historical cutoff. The selected anchor filing must have been filed on or before this date; later values never replace the primary answer.
  • identifier — string — Issuer ticker, exact company name, CIK, or CIK-prefixed identifier. FiledProof resolves this to the durable SEC CIK before research and payment.
  • period_type — string — Whether the requested value is one standalone fiscal quarter or the full fiscal year.
  • anchor_accession — string — Optional 10-Q/10-K accession, including amendments. If omitted, FiledProof selects the earliest compatible filing for the requested period.
  • comparison_value — string — Actual-unit integer value claimed from the SEC-filed earnings-release exhibit. FiledProof must find this value in metric context before the comparison is eligible.
  • comparison_exhibit — string — Optional exact EX-99 exhibit filename or safe relative path when an 8-K contains multiple candidate earnings-release exhibits.
  • comparison_accession — string — Optional SEC 8-K/8-K/A accession containing an earnings-release exhibit to compare with the filing-anchored GAAP fact. Provide comparison_value with it.
  • include_subsequent_revisions — boolean — When true, report later different values for the same SEC concept, unit, and period separately from the primary anchored value.

  Hints: read-only yes · destructive no · idempotent yes · open-world yes

Publisher website

Measured by MCPYP probing. Untested fields are omitted, never estimated. Listing is always free; MCPYP never proxies calls or stores user tokens.