MCP server that searches and filters DART electronic disclosures for Korean companies, enabling AI agents to create investor briefing summaries.