deusdata--codebase-memory-mcp/internal/cbm/grammar_lean.c at fix/java-enum-methods - deusdata--codebase-memory-mcp - Wehub

github-featured/deusdata--codebase-memory-mcp

Files

T

Martin Vogel 0474a5c78e Add MATLAB, Lean 4, FORM, and Magma language support (59 -> 63)

- MATLAB: vendored from acristoffers/tree-sitter-matlab, definitions-only
  (no call graph due to A(1) indexing ambiguity), .m file disambiguation
  via GitHub Linguist heuristics in discover.go
- Lean 4: vendored from Julian/tree-sitter-lean, definitions-only
  (Lean 4 syntax is runtime-extensible), ABI 13 backward-compatible
- FORM: custom tree-sitter grammar written from scratch for symbolic
  manipulation language used in particle physics (CERN/Nikhef)
- Magma: custom tree-sitter grammar written from scratch for computer
  algebra system (Univ. Sydney)

Integration touchpoints per language: cbm.h enum, cbm.go map, lang.go
constants, lang_specs.c (extern + arrays + table + switch), helpers.c
(func_kinds + module_parents + test detection), extract_defs.c
(resolve_func_name for MATLAB/Lean), extract_imports.c, lang/<name>.go
spec, discover.go (.m heuristic), regression_test.go (9 new tests).

2026-03-07 10:46:21 +01:00

4 lines

125 B

C

Raw Permalink Blame History

	`// Vendored tree-sitter grammar: lean`
	`#include "vendored/grammars/lean/parser.c"`
	`#include "vendored/grammars/lean/scanner.c"`