nuropb-rmq

Async-native Python AMQP 0-9-1 client for RabbitMQ — built on asyncio, with no pika (or other AMQP client) at runtime. It implements connection/channel framing directly and layers nuropb-inspired JSON-RPC 2.0 mesh patterns (RPC, events, service bind, claims) on that transport. Protocol and session behaviour are backed by SpeC++ CheckSat and Lean proofs, not only tests.

Alpha: the public API may still change. See CHANGELOG.md.

Features

• Asyncio-first API (await connect, publish, consume, RPC)
• Native AMQP transport: connect, channel, declare, publish, consume, ack
• Session RPC with exclusive reply queues and correlation tracking
• Event pub/sub (JSON-RPC notification shape) over topic/fanout
• Mesh service bind under a namespaced identity (service.method)
• Optional JWT claims on RPC ([claims] extra)
• TLS (tls-verify-full), mTLS / SASL EXTERNAL, PEM + PKCS#12 + secrets hook
• Named queue profiles (durable-at-least-once default) and heartbeat watchdog
• Fail-fast reconnect (CONNECTION_LOST); caller rebinds mesh consumers
• Optional mesh discovery registry (announce/viewer — never a bind authority)
• Runnable LangChain tool + LangGraph remote-node examples over the mesh
• Throughput harness vs pika ([bench] extra)

Installation

Python 3.11+:

pip install nuropb-rmq

pip install "nuropb-rmq[claims]"

From a known Git tag (or before a version is on PyPI):

pip install "git+https://github.com/RileyBetts/nuropb-rmq.git@v0.4.1"

Pushing an annotated v* tag from main publishes to PyPI via .github/workflows/publish.yml. Release checklist: CHANGELOG.md.

Quick start

Needs a local RabbitMQ broker (default 127.0.0.1:5672, guest/guest).

import asyncio
from nuropb_rmq import AmqpConnection, ConnectionConfig

async def main() -> None:
    conn = AmqpConnection(ConnectionConfig(host="127.0.0.1", port=5672))
    await conn.connect()
    ch = await conn.open_channel(1)
    queue = await conn.queue_declare(ch, "nr.ex.hello", durable=True)
    await conn.basic_consume(ch, queue)
    await conn.basic_publish(
        ch,
        b"hello-nuropb-rmq",
        routing_key=queue,
        properties={"content_type": "text/plain", "delivery_mode": 2},
    )
    msg = await conn.receive(timeout=5)
    print(msg.body)
    await conn.basic_ack(ch, msg.delivery_tag)
    await conn.close()

asyncio.run(main())

Prefer copy-paste demos? See Examples below. Stable imports: from nuropb_rmq import Session, RpcClient, MeshService, … (api.py).

Examples

Transport

• examples/vanilla_hello/ — durable queue publish/consume
• examples/vanilla_topic/ — topic exchange pub/sub

Mesh

• examples/one_client_one_service/ — mesh RPC, events, and registry discovery

Framework adapters (self-standing uv projects — LangChain/LangGraph deps stay out of the root package)

• examples/langchain_example/ — LangChain agent calling a mesh service tool (orders.get_status); live agent needs an LLM key, --smoke does not
• examples/langgraph_example/ — LangGraph remote invoice extract over mesh RPC; optional reconnect_demo.py for CONNECTION_LOST → rebind → checkpoint replay

Smoke examples (with uv after uv sync --dev; also uv sync in examples/langchain_example and examples/langgraph_example):

./scripts/smoke_examples.sh

Documentation

User guides (config, AMQPS, mesh, claims): docs/

• Architecture overview — diagrams
• Service mesh — what “mesh” means here
• JWT claims
• Cloud and enterprise AMQPS
• TLS profiles and material
• Broker permissions

Design notes for contributors: thinking/architecture.md. Lean ↔ Python map: specs/lean/CORRESPONDENCE.md. Release notes: CHANGELOG.md.

Formal verification

Correctness work is part of the project, not an afterthought:

• SpeC++ SMT CheckSat under specs/specpp/ (Protocol, Session, Pattern, Phase 2, Config)
• Lean proofs under specs/lean/ (Protocol, Session, Pattern, Config, reconnect)

Contributor commands to run these gates are in CONTRIBUTING.md.

TLS, mesh, reconnect (summary)

• Prefer tls-verify-full; never assume mTLS ⇒ EXTERNAL. Full material sources and cloud runbooks: docs/guides/cloud-and-enterprise-amqps.md.
• Mesh is JSON-RPC over RabbitMQ (not a sidecar mesh): docs/concepts/service-mesh.md.
• Reconnect is fail-fast (CONNECTION_LOST); caller rebinds: docs/concepts/reconnect.md.
• Work queues default to durable-at-least-once: docs/concepts/queue-profiles.md.

from nuropb_rmq import MeshRegistryViewer, MeshService, ServiceIdentity

mesh = MeshService(cfg, identity=ServiceIdentity("orders"), methods=["ping"], announce=True)
await mesh.start()

Throughput vs pika

uv sync --dev --extra bench
uv run python -m bench.compare --quick

Contributing

PRs target development. Use uv for the maintainer environment (uv sync --dev). Branching, CI gates, SpeC++, and Lean commands: CONTRIBUTING.md.

License

Apache License 2.0