todosforagents 0.1.0__tar.gz

todosforagents-0.1.0/.gitignore

@@ -0,0 +1,14 @@
+# Python
+.venv/
+__pycache__/
+*.pyc
+.pytest_cache/
+.ruff_cache/
+# Node
+node_modules/
+# Build output: the wheel and sdist, and the built UI they carry
+dist/
+# The MCP bundle's lock and pack, which a release makes
+mcpb/uv.lock
+*.mcpb
+.env

todosforagents-0.1.0/LICENSE

@@ -0,0 +1,22 @@
+MIT License
+
+Copyright (c) 2026 NimbleBrain, Inc.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+

todosforagents-0.1.0/PKG-INFO

@@ -0,0 +1,123 @@
+Metadata-Version: 2.5
+Name: todosforagents
+Version: 0.1.0
+Summary: To-do boards for AI agents, as an MCP server with a board UI. Runs locally on one SQLite file.
+Project-URL: Homepage, https://github.com/NimbleBrainInc/todosforagents
+Project-URL: Repository, https://github.com/NimbleBrainInc/todosforagents.git
+Project-URL: Issues, https://github.com/NimbleBrainInc/todosforagents/issues
+Author-email: NimbleBrain Inc <hello@nimblebrain.ai>
+License-Expression: MIT
+License-File: LICENSE
+Keywords: agents,kanban,mcp,mcp-apps,mcp-server,sqlite,to-do,todos
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Requires-Python: >=3.13
+Requires-Dist: aiosqlite>=0.21
+Requires-Dist: alembic>=1.14
+Requires-Dist: fastmcp<5,>=4
+Requires-Dist: mcp<3,>=2
+Requires-Dist: nimblebrain-server-sdk==0.4.1
+Requires-Dist: pgkeyset==0.2.0
+Requires-Dist: pydantic>=2.12
+Requires-Dist: sqlalchemy[asyncio]<2.1,>=2.0.44
+Description-Content-Type: text/markdown
+
+# Todos for Agents
+
+To-do boards for AI agents, served as an MCP server. An agent lays out a plan, moves each
+to-do through its status, records why one is blocked, and asks what to do next. A person
+sees the same boards in a board UI that renders inside MCP Apps hosts.
+
+It runs on your own machine: one SQLite file, no account, no cloud service.
+
+## Install
+
+Run it with [uv](https://docs.astral.sh/uv/) (Python 3.13 or later):
+
+```sh
+uvx todosforagents
+```
+
+That serves MCP over stdio. To add it to Claude Code:
+
+```sh
+claude mcp add todosforagents -- uvx todosforagents
+```
+
+For Claude Desktop, the MCP bundle `@nimblebraininc/todosforagents` is available from
+[mpak](https://www.mpak.dev). It runs the same package and asks where to keep the database.
+
+Any other MCP client that starts a stdio server can run `uvx todosforagents` the same way.
+To serve HTTP on `127.0.0.1` instead, run `uvx todosforagents --http`; HTTP requires a
+bearer token, which `uvx todosforagents --print-token` prints. See
+[`docs/local.md`](docs/local.md).
+
+## Where your data lives
+
+Everything is in one SQLite file, `todos.db`, in your user data directory:
+
+| OS | Default location |
+|---|---|
+| macOS | `~/Library/Application Support/todosforagents/todos.db` |
+| Linux | `$XDG_DATA_HOME/todosforagents/todos.db` (`~/.local/share/...` when unset) |
+| Windows | `%LOCALAPPDATA%\todosforagents\todos.db` |
+
+Set `TODOS_LOCAL_DB` to use another file. Keep it on a local disk, not a network share.
+Several clients may use the same file at once. Upgrades, backups and the HTTP token are
+covered in [`docs/local.md`](docs/local.md).
+
+## Tools
+
+| Tool | What it does |
+|---|---|
+| `create_todo` | Add one to-do (to the default board unless one is named) |
+| `plan_todos` | Add several to-dos in one call, optionally as the steps of a goal |
+| `update_todo` | Change a to-do's title, details, priority, labels, assignee, due date or goal |
+| `start_todo` | Mark a to-do in progress |
+| `complete_todo` | Mark a to-do done |
+| `block_todo` | Mark a to-do blocked, with the reason |
+| `reopen_todo` | Put a to-do back to open |
+| `cancel_todo` | Mark a to-do as won't do |
+| `reorder_todos` | Set the order of one status lane on a board |
+| `archive_todo` | Hide a to-do from default views, status unchanged |
+| `list_todos` | List or search to-dos, with filters and cursor paging |
+| `get_todo` | Read one to-do whole, with its steps and recent activity |
+| `get_next_todo` | The highest-priority open to-do: what to work on next |
+| `get_board_summary` | A board's lane counts and what needs attention |
+| `list_boards` | List the boards |
+| `create_board` | Create a board |
+| `update_board` | Change a board's name, description or lanes |
+
+A to-do's status (`open`, `in_progress`, `blocked`, `done`, `cancelled`) changes only through
+the five status verbs. Every result carries a `next_step` telling the agent what to do with
+it, and the server also serves a skill (`skill://todos/SKILL.md`) with the rules for choosing
+a tool.
+
+## Keys
+
+Every board has a short key, and every to-do a key made of its board's key and its number
+on that board: `MAG-3` is the third to-do on board `MAG`. The default board's key is `TODO`.
+Any argument that takes a to-do id takes its key, and any argument that takes a board id
+takes the board's key, so an agent can pass on "MAG-3" exactly as a person said it.
+
+## The board UI
+
+`get_board_summary` and `get_todo` are bound to the board UI (`ui://todos/main`). A host that
+supports [MCP Apps](https://modelcontextprotocol.io/) shows the board, or the to-do, when the
+agent calls them. The board reads and changes data only through the same tools.
+
+## More
+
+- [`docs/architecture.md`](docs/architecture.md): the core, runtimes, data model, the UI
+  binding, errors and annotations.
+- [`docs/local.md`](docs/local.md): the database file, several processes, the HTTP token,
+  upgrades and backups.
+- [`CONTRIBUTING.md`](CONTRIBUTING.md): building and testing.
+
+## Licence
+
+MIT. See [`LICENSE`](LICENSE).

todosforagents-0.1.0/README.md

@@ -0,0 +1,95 @@
+# Todos for Agents
+
+To-do boards for AI agents, served as an MCP server. An agent lays out a plan, moves each
+to-do through its status, records why one is blocked, and asks what to do next. A person
+sees the same boards in a board UI that renders inside MCP Apps hosts.
+
+It runs on your own machine: one SQLite file, no account, no cloud service.
+
+## Install
+
+Run it with [uv](https://docs.astral.sh/uv/) (Python 3.13 or later):
+
+```sh
+uvx todosforagents
+```
+
+That serves MCP over stdio. To add it to Claude Code:
+
+```sh
+claude mcp add todosforagents -- uvx todosforagents
+```
+
+For Claude Desktop, the MCP bundle `@nimblebraininc/todosforagents` is available from
+[mpak](https://www.mpak.dev). It runs the same package and asks where to keep the database.
+
+Any other MCP client that starts a stdio server can run `uvx todosforagents` the same way.
+To serve HTTP on `127.0.0.1` instead, run `uvx todosforagents --http`; HTTP requires a
+bearer token, which `uvx todosforagents --print-token` prints. See
+[`docs/local.md`](docs/local.md).
+
+## Where your data lives
+
+Everything is in one SQLite file, `todos.db`, in your user data directory:
+
+| OS | Default location |
+|---|---|
+| macOS | `~/Library/Application Support/todosforagents/todos.db` |
+| Linux | `$XDG_DATA_HOME/todosforagents/todos.db` (`~/.local/share/...` when unset) |
+| Windows | `%LOCALAPPDATA%\todosforagents\todos.db` |
+
+Set `TODOS_LOCAL_DB` to use another file. Keep it on a local disk, not a network share.
+Several clients may use the same file at once. Upgrades, backups and the HTTP token are
+covered in [`docs/local.md`](docs/local.md).
+
+## Tools
+
+| Tool | What it does |
+|---|---|
+| `create_todo` | Add one to-do (to the default board unless one is named) |
+| `plan_todos` | Add several to-dos in one call, optionally as the steps of a goal |
+| `update_todo` | Change a to-do's title, details, priority, labels, assignee, due date or goal |
+| `start_todo` | Mark a to-do in progress |
+| `complete_todo` | Mark a to-do done |
+| `block_todo` | Mark a to-do blocked, with the reason |
+| `reopen_todo` | Put a to-do back to open |
+| `cancel_todo` | Mark a to-do as won't do |
+| `reorder_todos` | Set the order of one status lane on a board |
+| `archive_todo` | Hide a to-do from default views, status unchanged |
+| `list_todos` | List or search to-dos, with filters and cursor paging |
+| `get_todo` | Read one to-do whole, with its steps and recent activity |
+| `get_next_todo` | The highest-priority open to-do: what to work on next |
+| `get_board_summary` | A board's lane counts and what needs attention |
+| `list_boards` | List the boards |
+| `create_board` | Create a board |
+| `update_board` | Change a board's name, description or lanes |
+
+A to-do's status (`open`, `in_progress`, `blocked`, `done`, `cancelled`) changes only through
+the five status verbs. Every result carries a `next_step` telling the agent what to do with
+it, and the server also serves a skill (`skill://todos/SKILL.md`) with the rules for choosing
+a tool.
+
+## Keys
+
+Every board has a short key, and every to-do a key made of its board's key and its number
+on that board: `MAG-3` is the third to-do on board `MAG`. The default board's key is `TODO`.
+Any argument that takes a to-do id takes its key, and any argument that takes a board id
+takes the board's key, so an agent can pass on "MAG-3" exactly as a person said it.
+
+## The board UI
+
+`get_board_summary` and `get_todo` are bound to the board UI (`ui://todos/main`). A host that
+supports [MCP Apps](https://modelcontextprotocol.io/) shows the board, or the to-do, when the
+agent calls them. The board reads and changes data only through the same tools.
+
+## More
+
+- [`docs/architecture.md`](docs/architecture.md): the core, runtimes, data model, the UI
+  binding, errors and annotations.
+- [`docs/local.md`](docs/local.md): the database file, several processes, the HTTP token,
+  upgrades and backups.
+- [`CONTRIBUTING.md`](CONTRIBUTING.md): building and testing.
+
+## Licence
+
+MIT. See [`LICENSE`](LICENSE).

todosforagents-0.1.0/hatch_build.py

@@ -0,0 +1,32 @@
+"""Put the built board UI inside the core's wheel, so every install serves it.
+
+The UI is one inlined HTML file built from ``ui/`` (``cd ui && npm ci && npm run build``). A
+wheel carries it as ``mcp_todos/ui_dist/index.html``, where :mod:`mcp_todos.ui` finds it with
+no setting and no source checkout. Building a wheel without it fails, so no wheel ships the
+"UI is not built" placeholder. An editable install reads ``ui/dist`` from the source tree
+instead, so it needs no build hook.
+"""
+
+from __future__ import annotations
+
+from pathlib import Path
+from typing import Any
+
+from hatchling.builders.hooks.plugin.interface import BuildHookInterface
+
+UI_INDEX = Path("ui") / "dist" / "index.html"
+PACKAGED_AS = "mcp_todos/ui_dist/index.html"
+
+
+class UIBuildHook(BuildHookInterface):
+    PLUGIN_NAME = "custom"
+
+    def initialize(self, version: str, build_data: dict[str, Any]) -> None:
+        if self.target_name != "wheel" or version == "editable":
+            return
+        index = Path(self.root) / UI_INDEX
+        if not index.is_file():
+            raise FileNotFoundError(
+                f"{index} is missing: build the UI first (cd ui && npm ci && npm run build)"
+            )
+        build_data["force_include"][str(index)] = PACKAGED_AS

todosforagents-0.1.0/pyproject.toml

@@ -0,0 +1,114 @@
+[project]
+name = "todosforagents"
+version = "0.1.0"
+description = "To-do boards for AI agents, as an MCP server with a board UI. Runs locally on one SQLite file."
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.13"
+authors = [
+    { name = "NimbleBrain Inc", email = "hello@nimblebrain.ai" },
+]
+keywords = ["mcp", "mcp-server", "mcp-apps", "todos", "to-do", "kanban", "agents", "sqlite"]
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Intended Audience :: Developers",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+]
+dependencies = [
+    # FastMCP 4 on the MCP SDK v2: serves the 2026-07-28 era and the session-based eras from
+    # one server. The ceiling excludes the next major, which removes 4.x compatibility shims.
+    "fastmcp>=4,<5",
+    "mcp>=2,<3",
+    "pydantic>=2.12",
+    # Below 2.1: 2.1 compiles a LIKE's ESCAPE literal differently on Postgres, which changes the
+    # search predicate tests/golden/paging.txt freezes. Moving to 2.1 is a reviewed change.
+    "sqlalchemy[asyncio]>=2.0.44,<2.1",
+    # Annotations, announcements, listing rows, ids, skills and the error contract: the SDK
+    # core only, no extras. Pinned exactly: tests/golden/surface.json gates every bump.
+    "nimblebrain-server-sdk==0.4.1",
+    # Keyset paging. Pinned exactly: tests/test_paging_golden.py holds the cursors agents
+    # already hold, so an upgrade is a deliberate, reviewed change.
+    "pgkeyset==0.2.0",
+    # The local runtime: SQLite through aiosqlite, and its schema history through Alembic.
+    "aiosqlite>=0.21",
+    "alembic>=1.14",
+]
+
+[project.urls]
+Homepage = "https://github.com/NimbleBrainInc/todosforagents"
+Repository = "https://github.com/NimbleBrainInc/todosforagents.git"
+Issues = "https://github.com/NimbleBrainInc/todosforagents/issues"
+
+[project.scripts]
+todosforagents = "mcp_todos_local.__main__:main"
+
+[project.entry-points."mcp_todos.runtimes"]
+local = "mcp_todos_local.runtime:LocalRuntime"
+
+[build-system]
+requires = ["hatchling>=1.27"]
+build-backend = "hatchling.build"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/mcp_todos", "src/mcp_todos_local"]
+
+# Packs the built UI (ui/dist/index.html) into the wheel as mcp_todos/ui_dist/index.html, and
+# refuses to build a wheel without it.
+[tool.hatch.build.targets.wheel.hooks.custom]
+path = "hatch_build.py"
+
+# The sdist carries the built UI, so a wheel built from it (pip, uv) packs the same board.
+# It is a build output (ui/ is gitignored there), so it is named here, not found through git.
+[tool.hatch.build.targets.sdist]
+include = [
+    "/src",
+    "/ui/dist/index.html",
+    "/hatch_build.py",
+    "/README.md",
+    "/LICENSE",
+]
+artifacts = ["/ui/dist/index.html"]
+
+[tool.ruff]
+target-version = "py313"
+line-length = 100
+
+[tool.ruff.lint]
+select = [
+    "E",   # pycodestyle errors
+    "W",   # pycodestyle warnings
+    "F",   # pyflakes
+    "I",   # isort
+    "B",   # flake8-bugbear
+    "C4",  # flake8-comprehensions
+    "UP",  # pyupgrade
+]
+ignore = [
+    "E501",  # line too long - handled by formatter
+    "B008",  # do not perform function calls in argument defaults
+]
+
+[tool.ruff.lint.isort]
+known-first-party = ["mcp_todos", "mcp_todos_local"]
+
+[tool.ruff.format]
+quote-style = "double"
+indent-style = "space"
+
+[tool.pytest.ini_options]
+asyncio_mode = "auto"
+asyncio_default_fixture_loop_scope = "function"
+testpaths = ["tests"]
+
+[dependency-groups]
+dev = [
+    "pytest>=8.4.2",
+    "pytest-asyncio>=0.24.0",
+    "pyyaml>=6",
+    "ruff>=0.13.1",
+    "ty>=0.0.1a1",
+]

todosforagents-0.1.0/src/mcp_todos/SKILL.md

@@ -0,0 +1,63 @@
+---
+name: todos
+description: Manage work on a board. Create and decompose to-dos, move them through the fixed status lifecycle, and read board state.
+metadata:
+  nimblebrain:
+    loading-strategy: dynamic
+    tool-affinity:
+      - create_todo
+      - plan_todos
+      - update_todo
+      - list_todos
+      - get_todo
+      - get_next_todo
+      - get_board_summary
+      - archive_todo
+---
+
+# To-dos
+
+Every tool returns a `next_step`; follow it.
+
+## Status moves only through the verb that names what happened
+
+`update_todo` has no status. The five states (`open · in_progress · blocked · done ·
+cancelled`) are a set, not a pipeline, and each move is its own verb, which records its own
+side effects:
+
+| What happened | Verb | Records |
+|---|---|---|
+| work began, or its blocker cleared | `start_todo` | clears any block |
+| it is finished | `complete_todo` | `completed_at` |
+| it is waiting on something | `block_todo` with a reason | `blocked_reason` |
+| it is back to do | `reopen_todo` | clears `completed_at` and any block |
+| it will not be done | `cancel_todo` (takes no reason) | `completed_at` |
+
+A to-do can also start in any status: `create_todo` and `plan_todos` take `status`, with
+the same side effects (`done` and `cancelled` set `completed_at`; `blocked` needs a
+`blocked_reason`).
+
+`update_todo` changes everything else: title, details, priority, labels, assignee, due
+date, parent.
+
+**Finished, won't do and out of sight are three different things.** `complete_todo` is
+finished, `cancel_todo` is won't do, and `archive_todo` only hides a to-do from default
+views with its status unchanged, and nothing un-archives it. Never archive to mean done.
+
+## Choosing the rest
+
+- One to-do: `create_todo`. Several, or one goal broken into steps: `plan_todos`, which
+  adds to the board and never replaces it. Pass an `idempotency_key` so a retry converges.
+- A result flagged as an error carries `error.code` (`not_found`, `invalid_request`,
+  `unauthenticated`, `rate_limited`, `internal_error`) and a `next_step`; follow it.
+- "What should I do next": `get_next_todo`, rather than listing and re-deciding.
+- Reporting on the board: start with `get_board_summary`, then name the to-dos behind its
+  counts (what is in progress, what is blocked and why) rather than the counts alone.
+
+## Naming a to-do
+
+Every to-do has a key, its board's key and its number on that board (`MAG-3`). Name to-dos
+to the person by key. Every argument that takes a to-do id takes the key too, so when the
+person says "MAG-3", pass it as it is. Every `board_id` takes the board's key (`MAG`) too.
+`create_board` picks a board's key, or takes one you pass; it cannot change later, so tell
+the person which key the board got.

todosforagents-0.1.0/src/mcp_todos/__init__.py

@@ -0,0 +1 @@
+"""To-dos MCP Server."""

todosforagents-0.1.0/src/mcp_todos/__main__.py

@@ -0,0 +1,31 @@
+"""``python -m mcp_todos``: serve stdio on the runtime ``TODOS_RUNTIME`` names.
+
+Logs go to stderr only; stdout carries nothing but JSON-RPC. Exits non-zero, before serving,
+when ``TODOS_RUNTIME`` is unset or names no installed runtime.
+"""
+
+from __future__ import annotations
+
+import logging
+import sys
+
+
+def main() -> None:
+    logging.basicConfig(
+        level=logging.INFO,
+        format="%(asctime)s [%(levelname)s] %(name)s: %(message)s",
+        stream=sys.stderr,
+    )
+    from mcp_todos import server
+    from mcp_todos.runtime import RuntimeSelectionError
+
+    try:
+        server.installed()
+    except RuntimeSelectionError as exc:
+        print(f"mcp-todos: {exc}", file=sys.stderr)
+        raise SystemExit(2) from exc
+    server.mcp.run()
+
+
+if __name__ == "__main__":
+    main()

todosforagents-0.1.0/src/mcp_todos/db/__init__.py

@@ -0,0 +1,30 @@
+"""To-dos database layer.
+
+Re-exports the SQLAlchemy ``metadata`` and table objects so callers (store,
+migrations, tests) can ``from mcp_todos.db import metadata, todo`` without
+reaching into ``tables`` directly.
+"""
+
+from __future__ import annotations
+
+from mcp_todos.db.tables import (
+    board,
+    metadata,
+    todo,
+    todo_activity,
+    uq_board_default,
+    uq_board_key,
+    uq_todo_idem,
+    uq_todo_number,
+)
+
+__all__ = [
+    "metadata",
+    "board",
+    "todo",
+    "todo_activity",
+    "uq_board_default",
+    "uq_board_key",
+    "uq_todo_idem",
+    "uq_todo_number",
+]

todosforagents-0.1.0/src/mcp_todos/db/dialect.py

@@ -0,0 +1,62 @@
+"""What the tables and store use where Postgres and SQLite differ.
+
+The store runs on Postgres (with row-level security) and on SQLite (one principal). Each
+helper here picks the dialect's form of one construct, so the store's queries read the same
+on both.
+"""
+
+from __future__ import annotations
+
+from datetime import UTC, datetime
+from typing import Any
+
+from sqlalchemy import JSON, BigInteger, DateTime, Integer, Table, exists, func, select, type_coerce
+from sqlalchemy.dialects import postgresql, sqlite
+from sqlalchemy.engine import Dialect
+from sqlalchemy.ext.asyncio import AsyncConnection
+from sqlalchemy.types import TypeDecorator
+
+__all__ = ["JSONType", "RowId", "UTCDateTime", "insert_for", "json_array_contains"]
+
+#: JSONB on Postgres, JSON text on SQLite.
+JSONType = JSON().with_variant(postgresql.JSONB(), "postgresql")
+
+#: An auto-incrementing key: SQLite generates one only for an ``INTEGER PRIMARY KEY``.
+RowId = BigInteger().with_variant(Integer(), "sqlite")
+
+
+class UTCDateTime(TypeDecorator[datetime]):
+    """A timestamp that is timezone-aware, in UTC, on every backend.
+
+    ``timestamptz`` on Postgres. SQLite stores no zone, so the value is stored as UTC and the
+    zone re-attached on read. A naive value bound to it is taken as UTC.
+    """
+
+    impl = DateTime(timezone=True)
+    cache_ok = True
+
+    def process_bind_param(self, value: datetime | None, dialect: Dialect) -> datetime | None:
+        if value is None:
+            return None
+        value = value.replace(tzinfo=UTC) if value.tzinfo is None else value.astimezone(UTC)
+        return value.replace(tzinfo=None) if dialect.name == "sqlite" else value
+
+    def process_result_value(self, value: datetime | None, dialect: Dialect) -> datetime | None:
+        if value is not None and value.tzinfo is None:
+            return value.replace(tzinfo=UTC)
+        return value
+
+
+def insert_for(conn: AsyncConnection, table: Table) -> Any:
+    """The dialect's ``INSERT``, which supports ``on_conflict_do_nothing`` with an index
+    predicate on both Postgres and SQLite."""
+    module = sqlite if conn.dialect.name == "sqlite" else postgresql
+    return module.insert(table)
+
+
+def json_array_contains(conn: AsyncConnection, column: Any, value: str) -> Any:
+    """``column`` (a JSON array) holds ``value``: ``@>`` on Postgres, ``json_each`` on SQLite."""
+    if conn.dialect.name == "sqlite":
+        each = func.json_each(column).table_valued("value")
+        return exists(select(1).select_from(each).where(each.c.value == value))
+    return type_coerce(column, postgresql.JSONB()).contains([value])