# KinoAtpClient v0.6.0 - API Reference

## Modules

- [KinoAtpClient](KinoAtpClient.md): Livebook Smart Cells that drive [`atp_client`](https://hexdocs.pm/atp_client)
end to end — a single editor for TPTP problems plus a configuration form for
each backend.
- [KinoAtpClient.AtpSolver](KinoAtpClient.AtpSolver.md): TPTP editor Smart Cell with a backend mode switch.
- [KinoAtpClient.BackendConfig](KinoAtpClient.BackendConfig.md): Schema-driven configuration Smart Cell for AtpClient backends.
- [KinoAtpClient.IsabelleRuntime](KinoAtpClient.IsabelleRuntime.md): Lazy singleton that auto-manages a local Isabelle server + `HOL` session for
the Smart Cell's Isabelle backend, mirroring the workflow demonstrated in
the `isabelle_elixir` livebooks: spawn a local server, open one session,
load the bundled `TPTP.thy`, and re-use both across calls.