mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-08-08 22:05:46 +00:00
allaun
fa8f6a2586
Utility scripts: - download_leanstral.py: HuggingFace model download for autoproof - download_leanstral_urllib.py: stdlib-only variant - prime_slos_explore.py: spectral signature exploration for primes Infrastructure: - scripts/mcp_backend/: Rust MCP backend (src + Cargo.toml/lock, target/ gitignored) Data: - .openresearch/artifacts/slos_checkpoints/: 128K checkpoint data - archive/dead_code_2026-07-03/: 360K archived dead code
22 lines
653 B
Rust
22 lines
653 B
Rust
//! MCP server backend in Rust.
|
|
//!
|
|
//! Compile with --features http_server for HTTP mode, otherwise stdio mode.
|
|
|
|
use mcp_backend::McpState;
|
|
use std::sync::Arc;
|
|
|
|
#[tokio::main]
|
|
async fn main() -> anyhow::Result<()> {
|
|
// Simple stdio mode for MCP integration
|
|
// The Python wrapper handles the actual MCP protocol
|
|
// This Rust binary provides thread-safe state management
|
|
let state = Arc::new(McpState::new());
|
|
|
|
// Output ready signal
|
|
println!("Rust MCP backend ready");
|
|
::std::io::stdout().flush().ok();
|
|
|
|
// Sleep forever (Python wrapper will manage lifecycle)
|
|
tokio::signal::ctrl_c().await.ok();
|
|
Ok(())
|
|
}
|