MCPcopy Index your code
hub / github.com/ModelInference/synoptic

github.com/ModelInference/synoptic @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
6,658 symbols 23,369 edges 509 files 2,494 documented · 37%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Extension points exported contracts — how you extend this code

IPOInvariantMiner (Interface)
Interface that all invariant miners that process partially ordered (PO) input logs should support. Such logs are represe [8 …
synoptic/src/synoptic/invariants/miners/IPOInvariantMiner.java
RpcCallback (Interface)
Interface for an RPC callback, normally called when an RPC completes. ParameterType is normally the method's res [14 implementers]
traces/old/traceGen/src/com/google/protobuf/RpcCallback.java
MouseHover (Interface)
Why does this exist? The goal is to be able to have one setter for both mouseover and mouseout on raphael text labels t [5 …
synopticgwt/src/synopticgwt/client/util/MouseHover.java
ITOInvariantMiner (Interface)
Interface that all invariant miners that process totally ordered (TO) input logs should support. Such logs are represent [8 …
synoptic/src/synoptic/invariants/miners/ITOInvariantMiner.java
EnumLite (Interface)
Interface for an enum value or value descriptor, to be used in FieldSet. The lite library stores enum values directly in [7 …
traces/old/traceGen/src/com/google/protobuf/Internal.java
Invariant (Interface)
An interface for use by Event to highlight PO and TO invariants. [4 implementers]
synopticgwt/src/synopticgwt/client/invariants/model/Invariant.java
IOperation (Interface)
Interface for mutating operations on PartitionGraphs [10 implementers]
synoptic/src/synoptic/algorithms/graphops/IOperation.java
InternalDescriptorAssigner (Interface)
This class should be used by generated code only. When calling FileDescriptor#internalBuildGeneratedFileFrom, t [4 implementers]
traces/old/traceGen/src/com/google/protobuf/Descriptors.java

Core symbols most depended-on inside this repo

add
called by 1439
synoptic/src/synoptic/model/interfaces/IGraph.java
add
called by 895
synoptic/src/synoptic/invariants/TemporalInvariantSet.java
equals
called by 512
traces/old/traceGen/src/com/google/protobuf/Message.java
mergeFrom
called by 427
traces/old/traceGen/src/com/google/protobuf/Message.java
size
called by 309
synoptic/src/synoptic/model/Partition.java
put
called by 287
synoptic/src/synoptic/main/options/ListedProperties.java
call
called by 197
synopticjung/src/synopticjung/SynopticJungMain.java
toString
called by 188
synoptic/src/synoptic/model/event/IDistEventType.java

Shape

Method 5,734
Class 591
Function 268
Interface 43
Enum 22

Languages

Java95%
TypeScript3%
Python2%

Modules by API surface

traces/old/traceGen/src/com/google/protobuf/DescriptorProtos.java1,039 symbols
traces/TwitterTracer/src/ProtoTrace.java362 symbols
traces/old/traceGen/src/prototrace/ProtoTrace.java158 symbols
traces/old/traceGen/src/com/google/protobuf/Descriptors.java157 symbols
traces/TwitterTracer/src/MessageTrace.java140 symbols
traces/old/traceGen/src/com/google/protobuf/GeneratedMessage.java138 symbols
traces/old/traceGen/src/com/google/protobuf/CodedOutputStream.java102 symbols
synopticgwt/war/protovis-d3.2.js80 symbols
synoptic/src/synoptic/tests/units/TraceParserTests.java79 symbols
traces/old/traceGen/src/com/google/protobuf/UnknownFieldSet.java68 symbols
synopticgwt/war/raphael-min.js64 symbols
traces/old/traceGen/src/com/google/protobuf/TextFormat.java57 symbols

For agents

$ claude mcp add synoptic \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact