Add Miller — token-efficient code intelligence MCP server

[anortham]

Summary

Adds Miller to the Community Plugins → Development & Workflow section.

Miller is a deterministic code intelligence MCP server for AI agents — symbol search, call graphs, and impact analysis in microseconds, designed to minimize token waste by answering precise questions instead of dumping files into context.

Verification

• Ships .codex-plugin/plugin.json with proper metadata ✅
• All HOL plugin-scanner verify checks pass ✅
• Plugin-scanner CI step added to Miller's ci.yml ✅ (lint mode via Docker action)
• Marketplace metadata configured ✅

Checklist

• Format follows - [Name](url) - Description
• Alphabetically ordered

[gemini-code-assist]

Warning

You have reached your daily quota limit. Please wait up to 24 hours and I will start processing your requests again!

[kantorcodes]

Summary

Adds Miller to the Community Plugins → Development & Workflow section.

Miller is a deterministic code intelligence MCP server for AI agents — symbol search, call graphs, and impact analysis in microseconds, designed to minimize token waste by answering precise questions instead of dumping files into context.

Verification

• Ships .codex-plugin/plugin.json with proper metadata ✅
• All HOL plugin-scanner verify checks pass ✅
• Plugin-scanner CI step added to Miller's ci.yml ✅ (lint mode via Docker action)
• Marketplace metadata configured ✅

Checklist

• Format follows - [Name](url) - Description
• Alphabetically ordered

Awesome! Can you fix the merge conflict? Then we can merge this in.