Docs on using ZIO

Author: adamw

README.md

@@ -83,6 +83,18 @@ JSON-RPC envelopes (both for responses and requests).
 
 ---
 
+## Using with ZIO
+
+When using ZIO, you might have to explicitly state the effect type that you are using, as the Tapir-ZIO integration requires
+a `RIO[R, A]` effect (which is an alias for `ZIO[R, Throwable, A]`), for example:
+
+```scala
+val myServerTool = myTool.serverLogic[[X] =>> RIO[Any, X]]: (input, headers) => 
+  ZIO.succeed(???)
+```
+
+---
+
 ## Contributing
 
 Contributions are welcome! Please open issues or pull requests.

build.sbt

@@ -39,6 +39,7 @@ lazy val core: Project = (project in file("core"))
       "com.softwaremill.sttp.tapir" %% "tapir-core" % tapirV,
       "com.softwaremill.sttp.tapir" %% "tapir-json-circe" % tapirV,
       "com.softwaremill.sttp.tapir" %% "tapir-apispec-docs" % tapirV,
+      "com.softwaremill.sttp.tapir" %% "tapir-zio-http-server" % tapirV,
       "com.softwaremill.sttp.apispec" %% "jsonschema-circe" % "0.11.10",
       "org.slf4j" % "slf4j-api" % "2.0.17"
     )

examples/src/main/scala/chimp/AdderMcpZio.scala

@@ -0,0 +1,33 @@
+package chimp
+
+//> using dep com.softwaremill.chimp::core:0.1.2
+//> using dep com.softwaremill.sttp.tapir::tapir-zio-http-server:1.11.33
+//> using dep ch.qos.logback::logback-classic:1.5.18
+
+import io.circe.Codec
+import sttp.tapir.*
+import sttp.tapir.server.ziohttp.ZioHttpInterpreter
+import zio.RIO
+import zio.ZIO
+import zio.ZIOAppDefault
+import zio.http.Server
+
+case class ZioInput(a: Int, b: Int) derives Codec, Schema
+
+object Main extends ZIOAppDefault:
+  val adderTool = tool("adder")
+    .description("Adds two numbers")
+    .withAnnotations(ToolAnnotations(idempotentHint = Some(true)))
+    .input[ZioInput]
+
+  // note that here we need to explicitly state the effect type, as the Tapir-ZIO integration requires a `RIO[R, A]`
+  // effect (with the error channel fixed to `Throwable`)
+  val adderServerTool = adderTool.serverLogic[[X] =>> RIO[Any, X]]: (input, _) =>
+    ZIO.succeed(Right(s"The result is ${input.a + input.b}"))
+
+  val mcpServerEndpoint = mcpEndpoint(List(adderServerTool), List("mcp"))
+
+  val routes = ZioHttpInterpreter().toHttp(mcpServerEndpoint)
+
+  override def run =
+    Server.serve(routes).provide(Server.default)