/**
 * `sold_prices` — Residential Property Price Register records (SPEC §4.3).
 *
 * Data is fetched from the official PSRA per-year-per-county CSVs, so
 * `county` is required and date ranges are served by fetching each year's
 * file (cached 24h). See docs/DATA_SOURCES.md §2.
 */
import { z } from "zod";
export declare const name = "sold_prices";
export declare const description = "Look up actual sold prices of residential properties in Ireland from the official Property Price Register (PSRA), which records declared prices from stamp-duty filings since January 2010.\n\nUse this to see what properties actually sold for near a property of interest: filter by county (required \u2014 the register is organised by county), a free-text address fragment (e.g. a street or estate name), an Eircode routing key (first 3 characters, e.g. 'D06' \u2014 only present on more recent records), a date range, and/or a price range. Returns per sale: date, declared price in EUR, address as recorded, Eircode where recorded, new vs second-hand, and flags for not-full-market-price and VAT-exclusive sales. Results are newest first.\n\nKnow the data's limits: addresses are free text typed from stamp-duty returns \u2014 spelling varies, many records lack Eircodes, and address matching is substring-based, so try street name alone before street + number. There is no floor area, so price-per-square-metre cannot be derived. Prices on new builds are often VAT-exclusive (flagged), and declared-price errors exist in the register. This tool reports records, not valuations. If the user has no county, ask them (or infer it from the address) before calling.";
export declare const inputSchema: {
    county: z.ZodString;
    address_query: z.ZodOptional<z.ZodString>;
    eircode_routing_key: z.ZodOptional<z.ZodString>;
    date_from: z.ZodOptional<z.ZodString>;
    date_to: z.ZodOptional<z.ZodString>;
    min_price: z.ZodOptional<z.ZodNumber>;
    max_price: z.ZodOptional<z.ZodNumber>;
    limit: z.ZodDefault<z.ZodNumber>;
};
interface Input {
    county: string;
    address_query?: string | undefined;
    eircode_routing_key?: string | undefined;
    date_from?: string | undefined;
    date_to?: string | undefined;
    min_price?: number | undefined;
    max_price?: number | undefined;
    limit: number;
}
export declare function handler(input: Input): Promise<{
    content: {
        type: "text";
        text: string;
    }[];
}>;
export {};