Overview
Overview brings your repository graphs and workspace activity together. The graph cards show indexing status and repository context; workspace statistics and recent builds help you see what has been processed. Connect agent opens the path to using that context from your coding assistant.
Cross-repository graph
Use Graphs → Cross-Repository to explore relationships spanning multiple repositories. The view combines the graph canvas with node and edge counts, provenance categories, community filters, and node search. This helps you follow connections that cross a service or repository boundary.
See how Graphify works for graph structure and edges and provenance for the meaning of the evidence labels.
Pull request reviews
Reviews lists review runs for a selected repository. Each entry connects a pull request to its review status, findings, and affected code. Use that context to understand the reach of a change before investigating individual findings.
For the meaning and limits of verification verdicts, see formal verification. To investigate pull requests using the local CLI, see the pull request guide.
Agent memory
Memory organizes remembered facts around the entities they describe. Select a repository, search for a fact or entity, and inspect the stored context alongside its provenance. The view also shows memory coverage and grounding information, helping you distinguish recorded facts from facts anchored to a graph node.
Use Connect an agent to bring your coding assistant into the workspace, or follow the MCP client setup guide.
Formal verification
Formal Verification lists runs for your repositories and pull requests. Expand a run to inspect changed functions, verdicts, and available inputs or outputs that explain a behavioral difference. The run status tells you whether processing finished; the per-function verdict tells you what was established. Read the formal verification guide before interpreting a result.Wiki
Wiki turns an indexed repository graph into navigable documentation. Choose a repository, browse its articles and table of contents, search the article text, or ask a question grounded in the wiki. See Wiki for indexing requirements and empty states.Learning
Open Learn to see how trusted review feedback shapes advisory findings. The Learning view shows learned dismissals, suppressions, and recent feedback. It is a read-only view of that history; feedback is submitted on pull requests. Learning does not alter formal verification verdicts. See Learning for the feedback commands and their scope.Workspace operations
- Repositories and builds: connect GitHub or GitLab repositories, configure analysis, and inspect indexing runs.
- Contributors: explore authorship and graph reach where the contributor overlay is available.
- Agents and integrations: connect your coding assistant through MCP and find workspace connection controls.