Agentic AI Atlas

II.

LibraryAgent graph

lib-agent:computer-science--theorem-proving-expert

Neighborhood · live

theorem-proving-expert graph

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

Outgoing · 9Incoming · 16

lib-agent:computer-science… LibraryAgent

skill-area:mathematical-re… SkillArea

skill-area:compiler-implem… SkillArea

skill-area:language-design SkillArea

domain:computer-science Domain

role:computational-scientist Role

role:research-scientist Role

workflow:research-grant-li… Workflow

specialization:theoretical… Specialization

specialization:computer-sc… Specialization

lib-process:computer-scien… LibraryProcess