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 · Coq

language:coqa5c.ai

Search record views/

Record · tabs

Available views

II.Record viewspp. 1 - 1

overview json graph

II.

Language graph

language:coq

Neighborhood · live

Coq graph

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

Outgoing · 2Incoming · 0

language:coq Language

domain:computer-science Domain

domain:mathematics Domain

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