Atlas Graph Explorer

Wiki Graph Edges

Clusters

catalog-meta1769

CiSurface1
Claim825
ClaimTest5
ClaimTestRun5
DeploymentTarget2
EvidencePolicy2
EvidenceSource227
Gap4
Grammar1
MetaAttribute366
MetaCluster16
MetaEdgeKind84
MetaEnum34
MetaNodeKind114
OntologySchema1
OpenQuestion5
OutOfScopeReason4
PackageSurface23
PathDescriptor45
RunJournalEvent5

extensions1288

domain1150

Domain108
Framework36
Language39
Library63
Platform10
PlatformService65
Responsibility76
Role96
SkillArea339
Specialization39
StackPart52
StackProfile7
Tool101
Topic179
Workflow691

workflows659

Workflow691

terminology444

Acronym25
Definition116
Synonym11
Term292

agent-stack349

AgentCoreImpl28
AgentPlatformImpl20
AgentProduct38
AgentRuntimeImpl24
AgentUIImpl18
AgentVersion42
CapabilityProfile3
InteractionPrimitive257
InteractionPrimitiveCategory12
LaunchConfig10
Presentation22
SessionModel4

benchmarks232

Benchmark65
EvalHarness5
EvalResult73
EvalRun70
Judge3
Rubric3
TestSet13

sourceref-scope175

ScopeBoundary111
SourceRef64

role163

Customer3
EndUser3
OrgUnit59
Responsibility76
Role96
Tenant3
VendorRelationship3

channels-hooks137

Channel6
DecisionVerb5
HookMapping54
HookSurface70
MergePolicy2

capabilities-and-models133

CapabilitySupport100
Modality7
ModelProviderProduct7
ModelProviderVersion7
ProcessDescriptor2
TransportProtocol10

compute116

APIErrorClass3
AgentHostTransport7
CapacityCascadeSignal2
MCPTransport4
ModelFamily23
ModelTransportProtocol12
ModelVersion49
Provider12
TranscriptIngressEndpoint1
TransportClient2
TransportProxy1

lifecycle106

capabilities85

Capability74
InstallMethod11

wiki44

Page44

security21

FilesystemSafetyInvariant3
HarnessHardeningGuidance3
OutputGuard5
OutputModeChange2
OutputStyle2
PermissionDenialReason3
SecretHandlingPolicy3

stack-layers11

Layer11

context-engineering8

BackgroundConsolidation2
CompactionPolicy2
MemoryHierarchy2
ProactiveSurface2

trust5

TrustLevel5

HomedomainLanguage

Language

4 of 39 records

Active filters

paradigms: dependently-typed x clear all

paradigms

functional21
imperative17
object-oriented10
scripting6
declarative5
dependently-typed4
pure4
proof-assistant3
low-level3
lisp3
concurrent2
schema2

Sort:id-asc id-desc name-asc name-desc

id	displayName	cluster
language:agda	Agda	domain
language:coq	Coq	domain
language:idris	Idris	domain
language:lean	Lean	domain