{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_62gj6b4qk2kw","handle":"com-vaadin-docs-mcp","url":"https://wellknown.network/agents/com-vaadin-docs-mcp","links":{"self":"https://wellknown.network/agents/com-vaadin-docs-mcp/record.json","html":"https://wellknown.network/agents/com-vaadin-docs-mcp","markdown":"https://wellknown.network/agents/com-vaadin-docs-mcp/record.md","api":"https://wellknown.network/api/v1/agents/com-vaadin-docs-mcp","status":"https://wellknown.network/api/v1/agents/com-vaadin-docs-mcp/status","claim":"https://wellknown.network/agents/com-vaadin-docs-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","badge":"https://wellknown.network/agents/com-vaadin-docs-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:mcp.vaadin.com:server:com-vaadin-docs-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"docs-mcp","summary":"Provides Vaadin Documentation and help with development tasks","description":"Provides Vaadin Documentation and help with development tasks","publisher":{"name":"com.vaadin","url":null},"homepage":null,"repository":"https://github.com/vaadin/vaadin-documentation-services","version":"1.0.1","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://mcp.vaadin.com/docs","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2025-10-29T10:21:35.912202Z","publishedAt":"2025-10-29T10:21:35.912202Z","registryName":"com.vaadin/docs-mcp"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"code.documentation","name":"Code Documentation","confidence":1,"provenance":"derived"},{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":1,"provenance":"derived"}],"categories":["code","dev"]},"observed":{"status":"live","statusReason":"Responded 4h ago.","lastOkAt":"2026-09-06T00:27:32.992Z","lastProbedAt":"2026-09-06T00:27:32.992Z","statusComputedAt":"2026-09-06T00:28:16.276Z","reliability30d":{"probes":1,"successRate":1,"p50Ms":26},"latestObservations":[{"at":"2026-09-06T00:27:32.992Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":26,"error":null,"detail":{"tools":[{"name":"get_vaadin_primer","description":"IMPORTANT: Always use this tool FIRST before working with Vaadin. Returns a comprehensive primer document with current (2025+) information about modern Vaadin d"},{"name":"search_vaadin_docs","description":"Search Vaadin documentation for relevant information about Vaadin development, components, and best practices. Uses hybrid semantic + keyword search. USE THIS T"},{"name":"get_full_document","description":"Retrieves complete documentation pages for one or more file paths. Use this when you need full context beyond what search results provide. Provide file_paths on"},{"name":"get_latest_vaadin_version","description":"Returns the latest stable version of Vaadin as a simple JSON object. This is useful when setting up new projects, checking for updates, or when helping with dep"},{"name":"get_supported_vaadin_versions","description":"Returns the latest stable release for each supported Vaadin major version (25, 24, 23, 14, 8, 7) with version number, release date, and whether it requires a co"},{"name":"get_components_by_version","description":"Returns a comprehensive list of components available in a specific Vaadin version, including component names, React component names, Java class names, and npm p"},{"name":"get_component_java_api","description":"Returns the Java API documentation for a specific Vaadin component. The component name can be in any format (e.g., 'Button', 'button', 'vaadin-button')."},{"name":"get_component_react_api","description":"Returns the React API documentation for a specific Vaadin component. The component name can be in any format (e.g., 'Button', 'button', 'vaadin-button')."},{"name":"get_component_web_component_api","description":"Returns the Web Component/TypeScript API documentation for a specific Vaadin component by fetching from external TypeScript API docs. The component name can be "},{"name":"get_component_styling","description":"Returns the styling/theming documentation for a specific Vaadin component. Returns both Java and React styling documentation when available. The component name "},{"name":"get_theme_css_properties","description":"Returns CSS custom properties documentation for a specific Vaadin theme (Aura, Lumo, or Base styles). Use this to look up the correct CSS variables for the them"}],"toolCount":11,"serverName":"vaadin-mcp","capabilities":["tools"],"serverVersion":"0.8.0","protocolVersion":"2025-06-18"}}],"tools":[{"name":"get_vaadin_primer","description":"IMPORTANT: Always use this tool FIRST before working with Vaadin. Returns a comprehensive primer document with current (2025+) information about modern Vaadin d"},{"name":"search_vaadin_docs","description":"Search Vaadin documentation for relevant information about Vaadin development, components, and best practices. Uses hybrid semantic + keyword search. USE THIS T"},{"name":"get_full_document","description":"Retrieves complete documentation pages for one or more file paths. Use this when you need full context beyond what search results provide. Provide file_paths on"},{"name":"get_latest_vaadin_version","description":"Returns the latest stable version of Vaadin as a simple JSON object. This is useful when setting up new projects, checking for updates, or when helping with dep"},{"name":"get_supported_vaadin_versions","description":"Returns the latest stable release for each supported Vaadin major version (25, 24, 23, 14, 8, 7) with version number, release date, and whether it requires a co"},{"name":"get_components_by_version","description":"Returns a comprehensive list of components available in a specific Vaadin version, including component names, React component names, Java class names, and npm p"},{"name":"get_component_java_api","description":"Returns the Java API documentation for a specific Vaadin component. The component name can be in any format (e.g., 'Button', 'button', 'vaadin-button')."},{"name":"get_component_react_api","description":"Returns the React API documentation for a specific Vaadin component. The component name can be in any format (e.g., 'Button', 'button', 'vaadin-button')."},{"name":"get_component_web_component_api","description":"Returns the Web Component/TypeScript API documentation for a specific Vaadin component by fetching from external TypeScript API docs. The component name can be "},{"name":"get_component_styling","description":"Returns the styling/theming documentation for a specific Vaadin component. Returns both Java and React styling documentation when available. The component name "},{"name":"get_theme_css_properties","description":"Returns CSS custom properties documentation for a specific Vaadin theme (Aura, Lumo, or Base styles). Use this to look up the correct CSS variables for the them"}],"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"com.vaadin/docs-mcp","url":"https://registry.modelcontextprotocol.io/v0/servers/com.vaadin%2Fdocs-mcp","firstSeenAt":"2026-09-05T22:18:27.549Z","fetchedAt":"2026-09-05T22:18:27.549Z","normalizedAt":"2026-09-05T22:18:27.549Z"}]},"firstSeenAt":"2026-09-05T22:18:27.549Z","updatedAt":"2026-09-06T00:28:25.049Z"}