get_documentation
Access Grafema documentation to learn Datalog query syntax, DSL notation, and code analysis features. Explore topics like queries, types, guarantees, and metrics to build queries and enforce invariants.
Instructions
Get documentation about Grafema usage and query syntax.
Topics available:
queries: Datalog query syntax, predicates (including numeric comparisons), and examples
types: Available node and edge types (including METRIC and ISSUE diagnostic nodes)
guarantees: How to create and manage code guarantees
notation: DSL notation reference (archetypes, operators, LOD, perspectives)
metrics: Performance metrics (METRIC nodes) and analysis issues (ISSUE nodes)
effects: Side-effect taxonomy and manifest system
onboarding: Step-by-step guide for new projects
overview: High-level Grafema architecture
Use this when you need to learn Datalog syntax, DSL notation, or understand available features.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| topic | No | Topic: queries, types, guarantees, notation, metrics, effects, onboarding, or overview |