{"name":"QWED Documentation","description":"Official documentation for QWED. Learn deterministic verification for LLMs and AI agents using formal methods, symbolic execution, and policy guards.","url":"https://docs.qwedai.tech/","version":"1.0.0","protocolVersion":"0.3","preferredTransport":"HTTP+JSON","supportedInterfaces":[{"url":"https://docs.qwedai.tech/","protocolBinding":"HTTP+JSON","protocolVersion":"0.3"}],"provider":{"url":"https://docs.qwedai.tech/","organization":"QWED Documentation"},"documentationUrl":"https://docs.qwedai.tech/","capabilities":{"streaming":false,"pushNotifications":false},"defaultInputModes":["text/plain"],"defaultOutputModes":["text/plain"],"skills":[{"id":"qwed","name":"qwed","description":"Use when verifying LLM outputs, securing AI agent tool calls,","tags":[],"url":"https://docs.qwedai.tech/.well-known/agent-skills/qwed/skill.md"}]}