top

(include-book "verified-agent")

(include-book "context-manager")

(include-book "llm-types")

(include-book "http-json" :ttags (:quicklisp :quicklisp.dexador :http-json))

(include-book "llm-client" :ttags (:quicklisp :quicklisp.dexador :http-json :llm-client))

(include-book "mcp-client" :ttags (:quicklisp :quicklisp.dexador :http-json :mcp-client))

(include-book "parinfer-fixer" :ttags (:parinfer-fixer))

(include-book "chat" :ttags (:quicklisp :quicklisp.dexador :http-json :llm-client :mcp-client))

(include-book "chat-lib" :ttags (:quicklisp :quicklisp.dexador :http-json :llm-client :mcp-client))

(include-book "chat-openai" :ttags (:quicklisp :quicklisp.dexador :http-json :llm-client :mcp-client))

(include-book "agent-runner" :ttags (:quicklisp :quicklisp.dexador :http-json :llm-client :mcp-client :parinfer))

(include-book "chat-demo" :ttags (:quicklisp :quicklisp.dexador :http-json :llm-client :mcp-client :parinfer-fixer))