sd_get_file_info
Extract a single document's TEI metadata (title, date, ID) without full parsing, to get file details after browsing scholarly editions.
Instructions
Get basic metadata for a single document file.
PURPOSE: Extract basic TEI metadata from a document without full parsing.
WHEN TO USE:
After browsing, to get details about specific files
When you need title, date, or ID information
For quick metadata extraction
WHEN NOT TO USE:
For full document content → use get_document tools
For multiple files at once → use browse then call this for each
Args: file_path: Full path to the file (relative to /db) or just filename ctx: FastMCP Context for progress reporting
Returns: Dict with 'id', 'title', 'date', 'path', 'mime_type', 'size_bytes', 'modified'
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_path | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | Document xml:id | |
| date | No | Document date (ISO 8601) | |
| path | Yes | Full path to the file in database | |
| title | Yes | Document title | |
| modified | Yes | Last modification timestamp | |
| mime_type | Yes | MIME type of the file | |
| size_bytes | Yes | File size in bytes |