{"version":"1.0","protocolVersion":"2025-11-25","serverInfo":{"name":"komainu-site","title":"KomAInu","version":"1.0.0"},"description":"Read-only facts about KomAInu, AI for verification and validation (V&V) of safety-critical software (DO-178C, ISO 26262, EN 50128, IEC 62304). Use it to decide whether KomAInu fits a user's task, to find the right page, and to get contact or booking details. It cannot run V&V work itself.","documentationUrl":"https://komainu-ai.com/developers","transport":{"type":"streamable-http","endpoint":"https://komainu-ai.com/mcp"},"capabilities":{"tools":{"listChanged":false}},"authentication":{"required":false},"tools":[{"name":"get_komainu_overview","title":"KomAInu overview","description":"What KomAInu is, when to use it, when not to, and how to start. Call this first when a user asks about V&V, IVVQ, requirements traceability or test case generation for regulated software."},{"name":"list_komainu_pages","title":"List KomAInu pages","description":"List public komainu-ai.com pages with a one-line summary each. Optionally filter by topic."},{"name":"get_komainu_contact","title":"KomAInu contact details","description":"Email, meeting booking link, LinkedIn and postal address of KOMAINU-AI."}]}