Agentic AI Atlas

Agentic AI Atlasby a5c.ai

Overview Wiki Graph For Agents Edges Search Workspace

/

GitHub Docs Discord

Dark mode

iiRecord

Agentic AI Atlas · Formal Methods

specialization:formal-methodsa5c.ai

Search record views/

Record · tabs

Available views

II.Record viewspp. 1 - 1

overview json graph

II.

Specialization graph

specialization:formal-methods

Neighborhood · live

Formal Methods graph

View the immediate incoming and outgoing neighborhood around this record without leaving the record detail surface.

Outgoing · 1Incoming · 2

specialization:formal-meth… Specialization

domain:computer-science Domain

skill-area:mathematical-re… SkillArea

Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.

Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.

Shortcuts

Open full graph explorer

Open reference article