07_Blog

Engineering & Architecture Blog

Technical deep dives, graph database theory, formal logic verification, and agentic AI memory infrastructure.

Aug 16, 2026 • Alfred Lopez •

#federation #knowledge-graph #research #agentic-ai #ami

How Research Teams Can Become 'A Collective', Like The Borg

How research teams use AsanagiDB's Central knowledge graph topology to continuously share AI agent memory across team nodes without context silos.

Read Full Article →

Aug 16, 2026 • Alfred Lopez •

#formal-verification #z3 #ami #agentic-ai #gremlin #release #v1.0.3

Solving Non-Deterministic Agent Errors: Graph-Native SMT Formal Verification in AsanagiDB v1.0.3

Why AI agents need deterministic logic bounds, and how Asanagi AMI combines Z3 theorem proving with graph-grounded memory to eliminate hallucinated logic errors.

Read Full Article →