{"name":"dev.quintai/quint-docs","title":"Quint","version":"1.0.0","description":"Search and read Quint's documentation for behavioral security of AI agents: OS-level interception on macOS, intent versus observed action divergence, risk scoring, policy enforcement, and Ed25519-signed audit trails.","websiteUrl":"https://quintai.dev","icons":[{"src":"https://quintai.dev/quint-icon.svg","mimeType":"image/svg+xml","sizes":["any"]}],"remotes":[{"type":"streamable-http","url":"https://quintai.dev/mcp","supportedProtocolVersions":["2025-06-18"],"authentication":{"required":false}}],"capabilities":{"tools":{"listChanged":true},"resources":{"listChanged":true}},"tools":[{"name":"search_quint","title":"Search Quint documentation","description":"Search the Quint knowledge base for documentation, API references, and guides.","annotations":{"readOnlyHint":true}},{"name":"query_docs_filesystem_quint","title":"Read a Quint documentation page","description":"Read a Quint documentation page by path from a read-only virtual filesystem of the published docs.","annotations":{"readOnlyHint":true}},{"name":"submit_feedback","title":"Send feedback about a documentation page","description":"Report a documentation page that is incorrect, outdated, confusing, or incomplete. This tool WRITES: it sends the text you pass to Quint's documentation team. It is the only tool on this server that is not read only, and it takes no authentication, so do not call it without the user asking you to.","annotations":{"readOnlyHint":false}}],"_meta":{"dev.quintai/documentation":"https://quintai.dev/developers","dev.quintai/agentInstructions":"https://quintai.dev/agents.md","dev.quintai/writeTools":["submit_feedback"]}}