allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-30 18:56:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

feat(runtime): source tools/list from Lean manifest env var when spec.tools empty

Browse source
This commit is contained in:
Allaun Silverfox 2026-05-26 17:49:55 -05:00
parent 75c1f48768
commit cbe66373cc
1 changed files with 19 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
1-Distributed-Systems/agents/claw/rust/crates/runtime/src/mcp_server.rs
View file

@ -20,6 +20,7 @@ use tokio::io::{
stdin, stdout, AsyncBufReadExt, AsyncReadExt, AsyncWriteExt, BufReader, Stdin, Stdout,
};
use crate::lean_mcp_manifest;
use crate::mcp_stdio::{
JsonRpcError, JsonRpcId, JsonRpcRequest, JsonRpcResponse, McpInitializeResult,
McpInitializeServerInfo, McpListToolsResult, McpTool, McpToolCallContent, McpToolCallParams,
@ -53,11 +54,28 @@ pub struct McpServerSpec {
/// response.
pub server_version: String,
/// Tool descriptors returned for `tools/list`.
///
/// If empty, the server will attempt to load the tool list from a Lean-owned
/// manifest via `CLAW_LEAN_MCP_MANIFEST_CMD`.
pub tools: Vec<McpTool>,
/// Handler invoked for `tools/call`.
pub tool_handler: ToolCallHandler,
}
impl McpServerSpec {
fn resolved_tools(&self) -> Vec<McpTool> {
if !self.tools.is_empty() {
return self.tools.clone();
}
match lean_mcp_manifest::tools_from_env() {
Ok(Some(tools)) => tools,
Ok(None) => Vec::new(),
Err(_) => Vec::new(),
}
}
}
/// Minimal MCP stdio server.
///
/// The server runs a blocking read/dispatch/write loop over the current
@ -178,7 +196,7 @@ impl McpServer {
fn handle_tools_list(&self, id: JsonRpcId) -> JsonRpcResponse<JsonValue> {
let result = McpListToolsResult {
tools: self.spec.tools.clone(),
tools: self.spec.resolved_tools(),
next_cursor: None,
};
JsonRpcResponse {