feat(orchestrator): Register echidna-llm-mcp in main.v

Adds echidna-llm-mcp to the built-in cartridge registry with:
- CartridgeInfo entry (domain: proof, tier: ayo, protocols: mcp+rest+grpc+nesy)
- #flag linking for libechidna_llm_mcp.so from Zig FFI build

This wires the 15-protocol dodeca-API + VeriSimDB bridge into the
BoJ orchestrator, making all echidna-llm operations accessible via
the standard cartridge invocation path.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

adapter/v/src/main.v

@@ -80,6 +80,9 @@ import time
 #flag -lssg_mcp
 #flag -L../../cartridges/ums-mcp/ffi/zig-out/lib
 #flag -lums_mcp
+// echidna-llm-mcp: 15-protocol frontier LLM tactic advisory + VeriSimDB bridge
+#flag -L../../cartridges/echidna-llm-mcp/ffi/zig-out/lib
+#flag -lechidna_llm_mcp
 
 fn C.boj_catalogue_init() int
 fn C.boj_catalogue_deinit()
@@ -667,6 +670,18 @@ fn (mut app BojApp) register_builtin_cartridges() ! {
 			protocols: [ProtocolType.mcp, .rest]
 			index: 0
 		},
+		// ── echidna-llm-mcp: Frontier LLM tactic advisory ──────────
+		// 15-protocol dodeca-API + VeriSimDB bridge + VQL-UT queries.
+		// Provides theorem proving intelligence across 30 backends.
+		CartridgeInfo{
+			name: 'echidna-llm-mcp'
+			version: '1.0.0'
+			status: .ready
+			tier: .ayo
+			domain: .proof
+			protocols: [ProtocolType.mcp, .rest, .grpc, .nesy]
+			index: 0
+		},
 	]
 	for b in builtins {
 		app.register_cartridge(b)!