OXYGENHUB

Coverage / crates/spectra-mcp/src/http.rs 89.4%

169 of 189 lines run, 35 of 74 functions · run #35 on main · run missed

1
//! Tuner over HTTP (spec §15.1, §8.5, §21.1): `POST /mcp` on the Unix
2
//! socket and the loopback port, every request signed and checked before
3
//! anything else; the peer's uid read from the socket; `Origin` checked
4
//! against DNS rebinding.
5
6
use crate::protocol::{self, Headers, Reply};
7
use crate::tools::Ctx;
8
use axum::body::Bytes;
9
use axum::extract::connect_info::{ConnectInfo, Connected};
10
use axum::extract::State;
11
use axum::http::{HeaderMap, StatusCode};
12
use axum::response::sse::{Event as SseEvent, KeepAlive, Sse};
13
use axum::response::{IntoResponse, Response};
14
use axum::routing::post;
15
use axum::Router;
16
use futures::stream::{self, StreamExt};
17
use serde_json::{json, Value as Json};
18
use spectra_core::authn::Caller;
19
use spectra_core::daemon::{Daemon, Peer, WireEvent};
20
use spectra_core::principals::Principal;
21
use spectra_core::proof::Proof;
22
use std::convert::Infallible;
23
use std::sync::Arc;
24
use std::time::Duration;
25
26
/// Who is on the other end of a connection: a Unix peer, or TCP.
27
#[derive(Clone, Copy, Debug)]
28
pub struct PeerInfo(pub Option<Peer>);
29
30
impl Connected<axum::serve::IncomingStream<'_, tokio::net::UnixListener>> for PeerInfo {
31158×
    fn connect_info(stream: axum::serve::IncomingStream<'_, tokio::net::UnixListener>) -> Self {
32158×
        let cred = stream.io().peer_cred().ok();
33158×
        PeerInfo(cred.map(|c| Peer { uid: c.uid(), pid: c.pid() }))
34158×
    }
35
}
36
37
impl Connected<axum::serve::IncomingStream<'_, tokio::net::TcpListener>> for PeerInfo {
380×
    fn connect_info(_: axum::serve::IncomingStream<'_, tokio::net::TcpListener>) -> Self {
390×
        PeerInfo(None)
400×
    }
41
}
42
43
impl Connected<axum::serve::IncomingStream<'_, crate::tls::TlsListener>> for PeerInfo {
4460×
    fn connect_info(_: axum::serve::IncomingStream<'_, crate::tls::TlsListener>) -> Self {
4560×
        PeerInfo(None)
4660×
    }
47
}
48
49
/// The app state: the daemon, and the origins a browser may send from.
50
#[derive(Clone)]
51
pub struct AppState {
52
    pub daemon: Arc<Daemon>,
53
    pub origins: Arc<Vec<String>>,
54
}
55
56
/// Tuner's routes; the binary adds the API and Radar beside them.
5722×
pub fn router(state: AppState) -> Router {
5822×
    Router::new()
5922×
        .route("/mcp", post(mcp).get(not_allowed).delete(not_allowed))
6022×
        .route("/api/v1/ledger/events", post(owner_events))
6122×
        .route("/api/v1/instance", axum::routing::get(instance))
6222×
        .route("/api/v1/claim", post(claim))
6322×
        .with_state(state)
6422×
}
65
66
/// `GET /api/v1/instance`, unauthenticated (spec §8.6): who this Spectra
67
/// is, whose it is, and the instance key's word for its TLS certificate, so
68
/// a client can decide whether to trust it before it signs anything.
6928×
async fn instance(State(state): State<AppState>) -> Response {
7028×
    let (instance, owner) = {
7128×
        let p = state.daemon.principals.read().await;
7228×
        (p.instance().cloned(), p.owner().map(|o| o.hash().to_hex()))
73
    };
7428×
    let owner_missing = owner.is_none();
7528×
    let Some(instance) = instance else {
760×
        return (StatusCode::SERVICE_UNAVAILABLE, axum::Json(json!({ "title": "this Spectra has no instance key" }))).into_response();
77
    };
7828×
    let tls = match crate::instance::latest_tls(&state.daemon.ledger).await {
7928×
        Ok(Some(e)) => json!({ "payload": e.json(), "proof": e.auth.proof.as_ref().map(hex::encode) }),
800×
        _ => Json::Null,
81
    };
8228×
    axum::Json(json!({
8328×
        "name": instance.name,
8428×
        "instance": spectra_core::principals::identity_payload(&instance),
8528×
        "owner": owner,
86
        // Until claimed: the KeyId `spectra init --owner` named.
8728×
        "named_owner": if owner_missing { state.daemon.named_owner() } else { None },
8828×
        "tls": tls,
89
    }))
9028×
    .into_response()
9128×
}
92
93
/// `POST /api/v1/claim`: the owner named by `spectra init --owner` records
94
/// their identity (spec §8.6). The event proves itself: it is signed by
95
/// the identity it records, over its payload.
966×
async fn claim(State(state): State<AppState>, body: Bytes) -> Response {
976×
    let events: Vec<WireEvent> = match serde_json::from_slice(&body) {
986×
        Ok(v) => v,
990×
        Err(e) => return (StatusCode::BAD_REQUEST, axum::Json(json!({ "title": format!("not a list of events: {e}") }))).into_response(),
100
    };
1016×
    match state.daemon.claim(events).await {
1023×
        Ok(seqs) => axum::Json(json!({ "seqs": seqs })).into_response(),
1033×
        Err(e) => (StatusCode::FORBIDDEN, axum::Json(json!({ "title": format!("{e:#}") }))).into_response(),
104
    }
1056×
}
106
1071×
async fn not_allowed() -> StatusCode {
1081×
    StatusCode::METHOD_NOT_ALLOWED
1091×
}
110
111
/// The proof the signature headers carry, for `method_path` and `body`.
112148×
pub fn proof_from(headers: &HeaderMap, method_path: &str, body: &[u8]) -> Option<Proof> {
113586×
    let get = |k: &str| headers.get(k).and_then(|v| v.to_str().ok());
114148×
    let key = get("spectra-key")?;
115146×
    let time_ms = get("spectra-time")?.parse().ok()?;
116146×
    let nonce: [u8; 16] = hex::decode(get("spectra-nonce")?).ok()?.try_into().ok()?;
117146×
    let sig_bytes = hex::decode(get("spectra-signature")?).ok()?;
118146×
    let sig = spectra_core::cbor::decode(&sig_bytes).ok().and_then(|v| spectra_core::identity::Signature::from_value(&v).ok())?;
119146×
    if sig.key.to_hex() != key {
1200×
        return None;
121146×
    }
122146×
    Some(Proof { sig, method: method_path.into(), body_hash: *spectra_core::event::hash_body_plain(body), time_ms, nonce })
123148×
}
124
125
/// Refuse a browser request from a page that is not ours (spec §21.1).
126149×
pub fn origin_ok(headers: &HeaderMap, allowed: &[String]) -> bool {
127149×
    match headers.get("origin").and_then(|v| v.to_str().ok()) {
128148×
        None => true,
1293×
        Some(o) => allowed.iter().any(|a| a == o),
130
    }
131149×
}
132
133
/// Authenticate a request, or the status and reason that refuse it.
134149×
pub async fn authenticate_why(
135149×
    state: &AppState,
136149×
    peer: PeerInfo,
137149×
    headers: &HeaderMap,
138149×
    method_path: &str,
139149×
    body: &[u8],
140149×
) -> Result<Caller, (StatusCode, String)> {
141149×
    if !origin_ok(headers, &state.origins) {
1421×
        return Err((StatusCode::FORBIDDEN, "this origin may not call Spectra".into()));
143148×
    }
144148×
    let proof = proof_from(headers, method_path, body);
145148×
    state.daemon.authenticate(proof.as_ref(), method_path, body, peer.0).await.map_err(|why| {
1466×
        tracing::info!(%why, "refused a request");
147
        // The reason concerns the caller's own key, so the caller is told it:
148
        // an agent whose delegation expired must be able to say so.
1496×
        (StatusCode::UNAUTHORIZED, why.to_string())
1506×
    })
151149×
}
152
153
/// Authenticate a request, or the JSON-RPC response that refuses it.
15480×
pub async fn authenticate(
15580×
    state: &AppState,
15680×
    peer: PeerInfo,
15780×
    headers: &HeaderMap,
15880×
    method_path: &str,
15980×
    body: &[u8],
16080×
) -> Result<Caller, Response> {
16180×
    authenticate_why(state, peer, headers, method_path, body).await.map_err(|(status, why)| {
1625×
        let (code, msg) = if status == StatusCode::FORBIDDEN {
1631×
            (protocol::INVALID_REQUEST, why)
164
        } else {
1654×
            (protocol::UNAUTHENTICATED, format!("not authenticated: {why}"))
166
        };
1675×
        (status, axum::Json(protocol::error(&Json::Null, code, &msg))).into_response()
1685×
    })
16980×
}
170
17167×
async fn mcp(State(state): State<AppState>, ConnectInfo(peer): ConnectInfo<PeerInfo>, headers: HeaderMap, body: Bytes) -> Response {
17267×
    let caller = match authenticate(&state, peer, &headers, "POST /mcp", &body).await {
17362×
        Ok(c) => c,
1745×
        Err(r) => return r,
175
    };
17662×
    let req: Json = match serde_json::from_slice(&body) {
17762×
        Ok(v) => v,
1780×
        Err(e) => {
1790×
            return (StatusCode::BAD_REQUEST, axum::Json(protocol::error(&Json::Null, protocol::PARSE_ERROR, &format!("not JSON: {e}"))))
1800×
                .into_response()
181
        }
182
    };
18362×
    let new_session = req.pointer("/params/arguments/new_session").and_then(Json::as_bool).unwrap_or(false)
1840×
        && req.pointer("/params/name").and_then(Json::as_str) == Some("brief");
18562×
    let session = state.daemon.touch(&caller.principal, new_session).await;
18662×
    let h = Headers {
18762×
        version: headers.get("mcp-protocol-version").and_then(|v| v.to_str().ok()),
18862×
        method: headers.get("mcp-method").and_then(|v| v.to_str().ok()),
18962×
        name: headers.get("mcp-name").and_then(|v| v.to_str().ok()),
190
    };
19162×
    let version = h.version.unwrap_or("2025-03-26").to_string();
19262×
    let ctx = Ctx { daemon: state.daemon.clone(), caller, session };
19362×
    let meta = meta(&ctx).await;
19462×
    match protocol::handle(&ctx, &h, req, meta.clone()).await {
19554×
        Reply::Json(status, v) => (StatusCode::from_u16(status).unwrap_or(StatusCode::OK), axum::Json(v)).into_response(),
1962×
        Reply::Accepted => StatusCode::ACCEPTED.into_response(),
1976×
        Reply::Stream(id, tool, args) => {
1986×
            let fut = async move {
1996×
                let out = crate::tools::invoke(&ctx, tool, args).await;
2006×
                let meta = crate::http::meta(&ctx).await;
2016×
                let msg = protocol::stream_result(&id, &version, &out, meta);
2026×
                Ok::<_, Infallible>(SseEvent::default().event("message").data(msg.to_string()))
2036×
            };
2046×
            sse(stream::once(fut).boxed())
205
        }
2060×
        Reply::Listen(id, sub) => {
2070×
            let ack = json!({ "jsonrpc": "2.0", "method": "notifications/subscriptions/acknowledged", "params": { "_meta": { "io.modelcontextprotocol/subscriptionId": sub } } });
2080×
            let _ = id;
2090×
            let first = stream::once(async move { Ok::<_, Infallible>(SseEvent::default().event("message").data(ack.to_string())) });
210
            // Spectra's tool list never changes while it runs: the stream
211
            // stays open, quiet but for keep-alives, until the client closes it.
2120×
            sse(first.chain(stream::pending()).boxed())
213
        }
214
    }
21567×
}
216
2176×
fn sse(s: futures::stream::BoxStream<'static, Result<SseEvent, Infallible>>) -> Response {
2186×
    let mut r = Sse::new(s).keep_alive(KeepAlive::new().interval(Duration::from_secs(15)).text("")).into_response();
2196×
    r.headers_mut().insert("x-accel-buffering", "no".parse().unwrap());
2206×
    r
2216×
}
222
223
/// `_meta` on every result (spec §15.2): the rules version, the session and
224
/// the unread count.
225108×
pub async fn meta(ctx: &Ctx) -> Json {
226108×
    let mut m = serde_json::Map::new();
227108×
    if let Ok(r) = spectra_core::rules::compile(ctx.daemon.ledger.pool(), crate::tools::project_of(&ctx.caller.principal)).await {
228108×
        m.insert("spectra/rules_version".into(), json!(r.version));
229108×
    }
230108×
    if let Some(s) = &ctx.session {
231108×
        m.insert("spectra/session".into(), json!(s));
232108×
    }
233108×
    if let Ok(n) = spectra_core::conversation::unread(&ctx.daemon.ledger, &ctx.caller.principal.actor()).await {
234108×
        m.insert("spectra/inbox_unread".into(), json!(n));
235108×
    }
236108×
    Json::Object(m)
237108×
}
238
239
/// `POST /api/v1/ledger/events`: the owner's CLI hands over events it
240
/// signed over their payload, so `agent add` and `project add` work while
241
/// the daemon holds the ledger (spec §8.5, "One writer").
24213×
async fn owner_events(
24313×
    State(state): State<AppState>,
24413×
    ConnectInfo(peer): ConnectInfo<PeerInfo>,
24513×
    headers: HeaderMap,
24613×
    body: Bytes,
24713×
) -> Response {
24813×
    let caller = match authenticate(&state, peer, &headers, "POST /api/v1/ledger/events", &body).await {
24913×
        Ok(c) => c,
2500×
        Err(r) => return r,
251
    };
25213×
    if !matches!(caller.principal, Principal::Owner { .. }) {
2531×
        return (StatusCode::FORBIDDEN, axum::Json(json!({ "title": "only the owner hands events to the daemon" }))).into_response();
25412×
    }
25512×
    let events: Vec<WireEvent> = match serde_json::from_slice(&body) {
25612×
        Ok(v) => v,
2570×
        Err(e) => return (StatusCode::BAD_REQUEST, axum::Json(json!({ "title": format!("not a list of events: {e}") }))).into_response(),
258
    };
25912×
    match state.daemon.accept_owner_events(events).await {
26012×
        Ok(seqs) => axum::Json(json!({ "appended": seqs })).into_response(),
2610×
        Err(e) => (StatusCode::UNPROCESSABLE_ENTITY, axum::Json(json!({ "title": e.to_string() }))).into_response(),
262
    }
26313×
}