Skip to main content

SemanticMemoryServer

semantic_memory_mcp::server

Struct SemanticMemoryServer 

Source 
pub struct SemanticMemoryServer { /* private fields */ }

Implementations§

Source§

impl SemanticMemoryServer

Source

pub fn new(bridge: MemoryBridge, tool_profile: &str) -> Self

Source

pub fn exposes_tool(&self, name: &str) -> bool

Source

pub fn exposed_tool_names(&self) -> Vec<String>

Source

pub fn tool_annotations(&self, name: &str) -> Option<ToolAnnotations>

Source§

impl SemanticMemoryServer

Source

pub fn sm_search_tool_attr() -> Tool

Generated tool metadata function for sm_search

Source

pub fn sm_search_witnessed_tool_attr() -> Tool

Generated tool metadata function for sm_search_witnessed

Source

pub fn sm_search_proof_debt_tool_attr() -> Tool

Generated tool metadata function for sm_search_proof_debt

Source

pub fn sm_benchmark_trust_tool_attr() -> Tool

Generated tool metadata function for sm_benchmark_trust

Source

pub fn sm_decide_assertion_authority_tool_attr() -> Tool

Generated tool metadata function for sm_decide_assertion_authority

Source

pub fn sm_decide_action_authority_tool_attr() -> Tool

Generated tool metadata function for sm_decide_action_authority

Source

pub fn sm_add_fact_tool_attr() -> Tool

Generated tool metadata function for sm_add_fact

Source

pub fn sm_ingest_document_tool_attr() -> Tool

Generated tool metadata function for sm_ingest_document

Source

pub fn sm_stats_tool_attr() -> Tool

Generated tool metadata function for sm_stats

Source

pub fn sm_graph_path_tool_attr() -> Tool

Generated tool metadata function for sm_graph_path

Source

pub fn sm_get_fact_tool_attr() -> Tool

Generated tool metadata function for sm_get_fact

Source

pub fn sm_list_facts_tool_attr() -> Tool

Generated tool metadata function for sm_list_facts

Source

pub fn sm_list_namespaces_tool_attr() -> Tool

Generated tool metadata function for sm_list_namespaces

Source

pub fn sm_get_fact_neighbors_tool_attr() -> Tool

Generated tool metadata function for sm_get_fact_neighbors

Source

pub fn sm_supersede_fact_tool_attr() -> Tool

Generated tool metadata function for sm_supersede_fact

Source

pub fn sm_list_sessions_tool_attr() -> Tool

Generated tool metadata function for sm_list_sessions

Source

pub fn sm_get_messages_tool_attr() -> Tool

Generated tool metadata function for sm_get_messages

Source

pub fn sm_search_conversations_tool_attr() -> Tool

Generated tool metadata function for sm_search_conversations

Source

pub fn sm_route_query_tool_attr() -> Tool

Generated tool metadata function for sm_route_query

Source

pub fn sm_search_with_routing_tool_attr() -> Tool

Generated tool metadata function for sm_search_with_routing

Source

pub fn sm_decoder_analyze_tool_attr() -> Tool

Generated tool metadata function for sm_decoder_analyze

Source

pub fn sm_detect_contradictions_tool_attr() -> Tool

Generated tool metadata function for sm_detect_contradictions

Source

pub fn sm_discord_search_tool_attr() -> Tool

Generated tool metadata function for sm_discord_search

Source

pub fn sm_set_provenance_tool_attr() -> Tool

Generated tool metadata function for sm_set_provenance

Source

pub fn sm_run_lifecycle_tool_attr() -> Tool

Generated tool metadata function for sm_run_lifecycle

Source

pub fn sm_add_graph_edge_tool_attr() -> Tool

Generated tool metadata function for sm_add_graph_edge

Source

pub fn sm_list_graph_edges_tool_attr() -> Tool

Generated tool metadata function for sm_list_graph_edges

Source

pub fn sm_invalidate_graph_edge_tool_attr() -> Tool

Generated tool metadata function for sm_invalidate_graph_edge

Source

pub fn sm_factor_graph_tool_attr() -> Tool

Generated tool metadata function for sm_factor_graph

Source

pub fn sm_topology_tool_attr() -> Tool

Generated tool metadata function for sm_topology

Source

pub fn sm_community_tool_attr() -> Tool

Generated tool metadata function for sm_community

Source

pub fn sm_subgraph_prune_tool_attr() -> Tool

Generated tool metadata function for sm_subgraph_prune

Source

pub fn sm_delete_fact_tool_attr() -> Tool

Generated tool metadata function for sm_delete_fact

Source

pub fn sm_delete_namespace_tool_attr() -> Tool

Generated tool metadata function for sm_delete_namespace

Source

pub fn sm_update_fact_tool_attr() -> Tool

Generated tool metadata function for sm_update_fact

Source

pub fn sm_consolidate_facts_tool_attr() -> Tool

Generated tool metadata function for sm_consolidate_facts

Source

pub fn sm_get_routing_policy_tool_attr() -> Tool

Generated tool metadata function for sm_get_routing_policy

Source

pub fn sm_record_outcome_tool_attr() -> Tool

Generated tool metadata function for sm_record_outcome

Source

pub fn sm_compact_claim_ledger_tool_attr() -> Tool

Generated tool metadata function for sm_compact_claim_ledger

Source

pub fn sm_create_claim_tool_attr() -> Tool

Generated tool metadata function for sm_create_claim

Source

pub fn sm_add_evidence_tool_attr() -> Tool

Generated tool metadata function for sm_add_evidence

Source

pub fn sm_judge_support_tool_attr() -> Tool

Generated tool metadata function for sm_judge_support

Source

pub fn sm_search_as_of_tool_attr() -> Tool

Generated tool metadata function for sm_search_as_of

Source

pub fn sm_verify_claim_tool_attr() -> Tool

Generated tool metadata function for sm_verify_claim

Source

pub fn sm_get_search_receipt_tool_attr() -> Tool

Generated tool metadata function for sm_get_search_receipt

Source

pub fn sm_replay_search_receipt_tool_attr() -> Tool

Generated tool metadata function for sm_replay_search_receipt

Source

pub fn sm_replay_search_tool_attr() -> Tool

Generated tool metadata function for sm_replay_search

Source

pub fn sm_reconcile_tool_attr() -> Tool

Generated tool metadata function for sm_reconcile

Source

pub fn sm_vacuum_tool_attr() -> Tool

Generated tool metadata function for sm_vacuum

Source

pub fn sm_reembed_all_tool_attr() -> Tool

Generated tool metadata function for sm_reembed_all

Source

pub fn sm_embeddings_are_dirty_tool_attr() -> Tool

Generated tool metadata function for sm_embeddings_are_dirty

Source

pub fn sm_query_claim_versions_tool_attr() -> Tool

Generated tool metadata function for sm_query_claim_versions

Source

pub fn sm_query_relation_versions_tool_attr() -> Tool

Generated tool metadata function for sm_query_relation_versions

Source

pub fn sm_query_episodes_tool_attr() -> Tool

Generated tool metadata function for sm_query_episodes

Source

pub fn sm_query_entity_aliases_tool_attr() -> Tool

Generated tool metadata function for sm_query_entity_aliases

Source

pub fn sm_query_evidence_refs_tool_attr() -> Tool

Generated tool metadata function for sm_query_evidence_refs

Source

pub fn sm_import_envelope_tool_attr() -> Tool

Generated tool metadata function for sm_import_envelope

Source

pub fn sm_import_status_tool_attr() -> Tool

Generated tool metadata function for sm_import_status

Source

pub fn sm_list_imports_tool_attr() -> Tool

Generated tool metadata function for sm_list_imports

Source

pub fn sm_parse_json_tool_attr() -> Tool

Generated tool metadata function for sm_parse_json

Source

pub fn sm_parse_json_value_tool_attr() -> Tool

Generated tool metadata function for sm_parse_json_value

Source

pub fn sm_strip_think_tags_tool_attr() -> Tool

Generated tool metadata function for sm_strip_think_tags

Source

pub fn sm_repair_json_tool_attr() -> Tool

Generated tool metadata function for sm_repair_json

Source

pub fn sm_parse_string_list_tool_attr() -> Tool

Generated tool metadata function for sm_parse_string_list

Source

pub fn sm_parse_choice_tool_attr() -> Tool

Generated tool metadata function for sm_parse_choice

Source

pub fn sm_parse_number_tool_attr() -> Tool

Generated tool metadata function for sm_parse_number

Trait Implementations§

Source§

impl ServerHandler for SemanticMemoryServer

Source§

async fn call_tool( &self, request: CallToolRequestParams, context: RequestContext<RoleServer>, ) -> Result<CallToolResult, ErrorData>

Source§

async fn list_tools( &self, _request: Option<PaginatedRequestParams>, _context: RequestContext<RoleServer>, ) -> Result<ListToolsResult, ErrorData>

Source§

fn get_tool(&self, name: &str) -> Option<Tool>

Get a tool definition by name. Read more
Source§

fn get_info(&self) -> ServerInfo

Source§

fn enqueue_task( &self, _request: CallToolRequestParams, _context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<CreateTaskResult, ErrorData>> + MaybeSendFuture

Source§

fn ping( &self, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<(), ErrorData>> + MaybeSendFuture

Source§

fn initialize( &self, request: InitializeRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<InitializeResult, ErrorData>> + MaybeSendFuture

Source§

fn complete( &self, request: CompleteRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<CompleteResult, ErrorData>> + MaybeSendFuture

Source§

fn set_level( &self, request: SetLevelRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<(), ErrorData>> + MaybeSendFuture

Source§

fn get_prompt( &self, request: GetPromptRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<GetPromptResult, ErrorData>> + MaybeSendFuture

Source§

fn list_prompts( &self, request: Option<PaginatedRequestParams>, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<ListPromptsResult, ErrorData>> + MaybeSendFuture

Source§

fn list_resources( &self, request: Option<PaginatedRequestParams>, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<ListResourcesResult, ErrorData>> + MaybeSendFuture

Source§

fn list_resource_templates( &self, request: Option<PaginatedRequestParams>, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<ListResourceTemplatesResult, ErrorData>> + MaybeSendFuture

Source§

fn read_resource( &self, request: ReadResourceRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<ReadResourceResult, ErrorData>> + MaybeSendFuture

Source§

fn subscribe( &self, request: SubscribeRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<(), ErrorData>> + MaybeSendFuture

Source§

fn unsubscribe( &self, request: UnsubscribeRequestParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<(), ErrorData>> + MaybeSendFuture

Source§

fn on_custom_request( &self, request: CustomRequest, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<CustomResult, ErrorData>> + MaybeSendFuture

Source§

fn on_cancelled( &self, notification: CancelledNotificationParam, context: NotificationContext<RoleServer>, ) -> impl Future<Output = ()> + MaybeSendFuture

Source§

fn on_progress( &self, notification: ProgressNotificationParam, context: NotificationContext<RoleServer>, ) -> impl Future<Output = ()> + MaybeSendFuture

Source§

fn on_initialized( &self, context: NotificationContext<RoleServer>, ) -> impl Future<Output = ()> + MaybeSendFuture

Source§

fn on_roots_list_changed( &self, context: NotificationContext<RoleServer>, ) -> impl Future<Output = ()> + MaybeSendFuture

Source§

fn on_custom_notification( &self, notification: CustomNotification, context: NotificationContext<RoleServer>, ) -> impl Future<Output = ()> + MaybeSendFuture

Source§

fn list_tasks( &self, request: Option<PaginatedRequestParams>, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<ListTasksResult, ErrorData>> + MaybeSendFuture

Source§

fn get_task_info( &self, request: GetTaskInfoParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<GetTaskResult, ErrorData>> + MaybeSendFuture

Source§

fn get_task_result( &self, request: GetTaskResultParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<GetTaskPayloadResult, ErrorData>> + MaybeSendFuture

Source§

fn cancel_task( &self, request: CancelTaskParams, context: RequestContext<RoleServer>, ) -> impl Future<Output = Result<CancelTaskResult, ErrorData>> + MaybeSendFuture

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> DropFlavorWrapper<T> for T

Source§

type Flavor = MayDrop

The DropFlavor that wraps T into Self
Source§

impl<R, S> DynService<R> for S
where R: ServiceRole, S: Service<R>,

Source§

fn handle_request( &self, request: <R as ServiceRole>::PeerReq, context: RequestContext<R>, ) -> Pin<Box<dyn Future<Output = Result<<R as ServiceRole>::Resp, ErrorData>> + Send + '_>>

Source§

fn handle_notification( &self, notification: <R as ServiceRole>::PeerNot, context: NotificationContext<R>, ) -> Pin<Box<dyn Future<Output = Result<(), ErrorData>> + Send + '_>>

Source§

fn get_info(&self) -> <R as ServiceRole>::Info

Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, W> HasTypeWitness<W> for T
where W: MakeTypeWitness<Arg = T>, T: ?Sized,

Source§

const WITNESS: W = W::MAKE

A constant of the type witness
Source§

impl<T> Identity for T
where T: ?Sized,

Source§

const TYPE_EQ: TypeEq<T, <T as Identity>::Type> = TypeEq::NEW

Proof that Self is the same type as Self::Type, provides methods for casting between Self and Self::Type.
Source§

type Type = T

The same type as Self, used to emulate type equality bounds (T == U) with associated type equality constraints (T: Identity<Type = U>).
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<H> Service<RoleServer> for H
where H: ServerHandler,

Source§

async fn handle_request( &self, request: <RoleServer as ServiceRole>::PeerReq, context: RequestContext<RoleServer>, ) -> Result<<RoleServer as ServiceRole>::Resp, ErrorData>

Source§

async fn handle_notification( &self, notification: <RoleServer as ServiceRole>::PeerNot, context: NotificationContext<RoleServer>, ) -> Result<(), ErrorData>

Source§

fn get_info(&self) -> <RoleServer as ServiceRole>::Info

Source§

impl<S> ServiceExt<RoleServer> for S
where S: Service<RoleServer>,

Source§

fn serve_with_ct<T, E, A>( self, transport: T, ct: CancellationToken, ) -> impl Future<Output = Result<RunningService<RoleServer, S>, ServerInitializeError>> + MaybeSendFuture
where T: IntoTransport<RoleServer, E, A>, E: Error + Send + Sync + 'static, S: Sized,

Source§

fn into_dyn(self) -> Box<dyn DynService<R>>

Convert this service to a dynamic boxed service Read more
Source§

fn serve<T, E, A>( self, transport: T, ) -> impl Future<Output = Result<RunningService<R, Self>, <R as ServiceRole>::InitializeError>> + MaybeSendFuture
where T: IntoTransport<R, E, A>, E: Error + Send + Sync + 'static, Self: Sized,

Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more