oak-vampire 0.0.8

High-performance incremental Vampire parser for the oak ecosystem with flexible configuration.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

#![doc = include_str!("readme.md")]
use crate::lsp::VampireLanguageService;
use oak_vfs::MemoryVfs;

/// Starts the Vampire MCP service
pub async fn serve_vampire_mcp(vfs: MemoryVfs) {
    let service = VampireLanguageService::new(vfs);
    let server = oak_mcp::McpServer::new(service);
    let reader = tokio::io::BufReader::new(tokio::io::stdin());
    let writer = tokio::io::BufWriter::new(tokio::io::stdout());
    server.run(reader, writer).await.unwrap()
}