Local-first, formally verified memory for AI agents: consult/learn/related/list over MCP.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
Local-first, formally verified memory for AI agents: consult/learn/related/list over MCP.