From 92e21a87fe1ef041f9ed9b05b9cb10ef69a4f577 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 20 May 2026 07:07:05 +0100 Subject: [PATCH] docs(readme): reorganize scope into collapsible accordion sections MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Replace the brief Features bullet list with a Scope section containing 14 collapsible (
) accordions, one per cartridge domain. Each accordion lists every cartridge in that domain with a one-line description sourced from the cartridge's own cartridge.json. Why - "115 cartridges" was abstract; readers couldn't browse them - The cartridge surface area is the project's main differentiator — it should be discoverable, not buried - Accordions render correctly on GitHub, npm, Glama, JSR — no platform- specific magic; pure GitHub-flavored Markdown What - Top section (badges, intro, install) unchanged - Scope section: 14 accordion categories covering all 115 cartridges + 1 self-health - Each accordion: table of cartridges with description; bridge-level tool references where applicable - New "Bridge-level tools (41 exposed)" section explaining which cartridges have explicit boj__ tools vs. which require boj_cartridge_invoke - BOJ_TOOL_SCOPE env var documented for scope-narrowing Local-coord-mcp, Glama AAA posture, and License sections retained unchanged. Co-Authored-By: Claude Opus 4.7 (1M context) --- README.md | 268 +++++++++++++++++++++++++++++++++++++++++++++++++++--- 1 file changed, 257 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 1d20fee9..e9a4dcfe 100644 --- a/README.md +++ b/README.md @@ -25,17 +25,263 @@ claude mcp add boj-server -- deno run -A mcp-bridge/main.js Glama listing: -## Features - -- **GitHub/GitLab** — repos, issues, PRs, code search, mirroring (22 tools) -- **Cloud** — Cloudflare (DNS, Workers, KV, R2, D1), Vercel (deployments, projects), Verpex (cPanel) -- **Communication** — Gmail, Google Calendar -- **Browser** — Firefox automation: navigate, click, type, screenshot, arbitrary JS (7 tools) -- **Code Intelligence** — CodeSeeker hybrid search + graph RAG -- **Research** — Semantic Scholar papers, citations, authors -- **ML** — Hugging Face model / dataset / inference -- **Local coordination** — `local-coord-mcp` (24 tools): multi-instance AI peer discovery, typed envelopes, claim/heartbeat/watchdog, quarantine + master/journeyman/apprentice supervision, track-record affinity, capability advertisement -- **Cartridges** — 115 pluggable cartridges across Teranga / Shield / Ayo trust tiers +## Scope + +**115 cartridges**, organized across the domains below. Each cartridge is a formally verified Idris2 ABI + Zig FFI + Deno/JS adapter triple, reachable through a single MCP endpoint. Click any section to expand. + +
+🔧 Git forges & code hosting — 4 cartridges + +| Cartridge | Description | +|---|---| +| `github-api-mcp` | GitHub REST API — repos, issues, PRs, search | +| `gitlab-api-mcp` | GitLab REST API — projects, issues, MRs | +| `github-actions-mcp` | GitHub Actions — workflows, runs, jobs, artifacts, secret rotation | +| `git-mcp` | Multi-forge git operations (GitHub, GitLab, Gitea, Bitbucket) | + +Bridge-level tools: `boj_github_*` (14), `boj_gitlab_*` (8) — 22 explicit tools. Auth via `GITHUB_TOKEN` / `GITLAB_TOKEN` env vars. + +
+ +
+☁️ Cloud platforms — 10 cartridges + +| Cartridge | Description | +|---|---| +| `cloud-mcp` | Multi-cloud session manager (AWS / GCP / Azure / DO / Vercel) | +| `aws-mcp` | AWS gateway — session-based auth, per-region slots, throttle management | +| `gcp-mcp` | GCP gateway — project-scoped auth, quota tracking, multi-service routing | +| `cloudflare-mcp` | Cloudflare v4 — Workers, D1, KV, R2, DNS, zone settings, SSL/TLS | +| `digitalocean-mcp` | DigitalOcean — droplets, volumes, domains, SSH keys, snapshots, databases | +| `hetzner-mcp` | Hetzner Cloud — servers, volumes, firewalls, networks, snapshots, floating IPs | +| `fly-mcp` | Fly.io Machines v1 — apps, machines, volumes, secrets, regions, IPs, certs | +| `linode-mcp` | Linode/Akamai — instances, volumes, domains, NodeBalancers, StackScripts | +| `railway-mcp` | Railway GraphQL v2 — projects, services, deployments, env, domains, logs | +| `render-mcp` | Render REST v1 — services, deploys, env groups, custom domains, jobs | + +Bridge-level tools: `boj_cloud_cloudflare`, `boj_cloud_vercel`, `boj_cloud_verpex`. Other providers reachable via `boj_cartridge_invoke`. + +
+ +
+🗄 Databases — 12 cartridges + +| Cartridge | Description | +|---|---| +| `database-mcp` | Universal SQL/NoSQL gateway across multiple engines | +| `postgresql-mcp` | PostgreSQL — full transaction support, connection pooling, query lifecycle | +| `mongodb-mcp` | MongoDB — collection-level CRUD, aggregation pipelines, sessions | +| `redis-mcp` | Redis — KV, sorted sets, pub/sub, streams, Lua scripting | +| `neo4j-mcp` | Neo4j — graph database query and write | +| `clickhouse-mcp` | ClickHouse — columnar queries, bulk inserts, real-time analytics | +| `duckdb-mcp` | DuckDB — in-process analytics over Parquet/CSV/JSON/Arrow | +| `arango-mcp` | ArangoDB — AQL queries, multi-model documents, graph traversals | +| `turso-mcp` | Turso libSQL — edge SQLite, multi-DB, embedded replica sync | +| `supabase-mcp` | Supabase — Postgres, Auth, Storage, Edge Functions | +| `neon-mcp` | Neon — serverless Postgres, branch management, query execution | +| `verisimdb-mcp` | **VeriSimDB** — verified simulation database with formal drift detection | + +
+ +
+📦 Containers, deploy & integrity — 5 cartridges + +| Cartridge | Description | +|---|---| +| `container-mcp` | Build / create / start / stop / remove via Podman or Docker | +| `docker-hub-mcp` | Docker Hub — image search, repos, tag listing, manifests | +| `k8s-mcp` | Kubernetes — namespace-scoped CRUD with lifecycle management | +| `stapeln-mcp` | Stapeln stack manager — Chainguard-base composable container layers | +| `vordr-mcp` | Vordr integrity monitor — BLAKE3 tamper-detection on container images | + +
+ +
+🔁 CI/CD & observability — 8 cartridges + +| Cartridge | Description | +|---|---| +| `buildkite-mcp` | Buildkite — pipelines, builds, jobs, artifacts | +| `circleci-mcp` | CircleCI — pipelines, workflows, jobs, artifacts | +| `laminar-mcp` | Laminar — minimalist CI/CD pipeline management | +| `hypatia-mcp` | **Hypatia** — neurosymbolic CI security/quality/compliance scanner | +| `observe-mcp` | Unified observability — metrics, logs, traces | +| `grafana-mcp` | Grafana — dashboards, panel queries, alert rules, annotations | +| `prometheus-mcp` | Prometheus — PromQL instant + range queries, alerts, targets | +| `sentry-mcp` | Sentry — issues, events, projects, releases, deployments | + +
+ +
+💬 Communications & messaging — 6 cartridges + +| Cartridge | Description | +|---|---| +| `comms-mcp` | **Gmail + Google Calendar** — send, read, search, labels, events, free/busy | +| `slack-mcp` | Slack — messages, channels, threads, search, users | +| `discord-mcp` | Discord — messages, channel history, guilds, reactions | +| `telegram-mcp` | Telegram Bot API — messages, chats, inline queries, updates | +| `matrix-mcp` | Matrix — messages, room join/leave, history, membership | +| `notifyhub-mcp` | Unified notify — Email, SMS, WhatsApp, Slack, Telegram, Discord | + +Bridge-level tools: `boj_comms_gmail`, `boj_comms_calendar`. + +
+ +
+📚 Productivity & knowledge — 10 cartridges + +| Cartridge | Description | +|---|---| +| `google-docs-mcp` | Docs — document retrieval, content, search, headings, comments | +| `google-sheets-mcp` | Sheets — metadata, cell ranges, named ranges, sheet listing | +| `notion-mcp` | Notion — pages, databases, blocks | +| `obsidian-mcp` | Obsidian vault — note search, content, backlinks, tags, graph | +| `linear-mcp` | Linear — issues, projects, cycles, labels | +| `jira-mcp` | Jira — projects, issues, sprints, workflows | +| `todoist-mcp` | Todoist — tasks, projects, completion, labels | +| `airtable-mcp` | Airtable — bases, table schemas, record CRUD | +| `zotero-mcp` | Zotero — library search, items, collections, tags | +| `academic-workflow-mcp` | Academic workflow — Zotero integration, citations, paper review | + +
+ +
+🤖 ML, AI & coordination — 8 cartridges + +| Cartridge | Description | +|---|---| +| `ml-mcp` | **Hugging Face** + others — search, model info, inference, spaces, datasets | +| `claude-ai-mcp` | Anthropic Messages API — Claude models, token counting, multi-turn | +| `claude-agents-power-mcp` | Specialized AI-agent management for dev teams | +| `model-router-mcp` | Task classifier — recommends opus/sonnet/haiku per task | +| `echidna-llm-mcp` | LLM advisor for the ECHIDNA formal-verification engine | +| `agent-mcp` | OODA-loop agent session enforcer | +| `local-coord-mcp` | **Multi-instance peer discovery + typed envelopes + supervision** (21 tools) | +| `local-memory-mcp` | Persistent local memory for Claude, Cursor, Codex (13 tools, no cloud) | + +Bridge-level tool: `boj_ml_huggingface`. `coord_*` tools (21) wire through `local-coord-mcp` — see the dedicated section below. + +
+ +
+🌐 Browser & web automation — 2 cartridges + +| Cartridge | Description | +|---|---| +| `browser-mcp` | Firefox automation via Marionette — navigate, click, type, screenshot, exec JS | +| `gossamer-mcp` | Native desktop windows — panel loading, JS bridge | + +Bridge-level tools: `boj_browser_*` (7) — navigate, click, type, read_page, screenshot, tabs, execute_js. + +
+ +
+🔍 Code intelligence & research — 5 cartridges + +| Cartridge | Description | +|---|---| +| `codeseeker-mcp` | **CodeSeeker** — vector + BM25 + path-tier fused via RRF; KG traversal; Graph-RAG | +| `coderag-mcp` | Enterprise code intelligence — graph-based analysis for AI-assisted dev | +| `research-mcp` | **Semantic Scholar / OpenAlex** — papers, citations, references, authors | +| `opendatamcp` | Public dataset access for LLM apps | +| `origenemcp` | Biomedical platform — 600+ tools/databases (ChEMBL, PubChem, FDA, OpenTargets) | + +Bridge-level tools: `boj_codeseeker`, `boj_research`. + +
+ +
+🛠 Developer tooling (LSP/DAP/BSP, languages, registries) — 14 cartridges + +| Cartridge | Description | +|---|---| +| `lsp-mcp` | Generic Language Server Protocol 3.17 gateway — spawn any LSP server | +| `dap-mcp` | Generic Debug Adapter Protocol gateway | +| `bsp-mcp` | Generic Build Server Protocol 2.x gateway | +| `lang-mcp` | Multi-language session manager — Eclexia, AffineScript, BetLang, Ephapax | +| `toolchain-mcp` | Toolchain orchestrator — mint/provision/configure language toolchains | +| `orchestrator-lsp-mcp` | Cross-domain LSP router across all 12 poly-*-lsp servers | +| `affinescript-mcp` | **AffineScript** — type check, parse, format, lint, compile, hover, definition | +| `typed-wasm-mcp` | **AffineScript → typed-wasm** at Level 7/10 ownership soundness | +| `npm-registry-mcp` | npm — search, metadata, versions, downloads, dependency analysis | +| `pypi-mcp` | PyPI — Python packages, search, metadata, versions, downloads | +| `crates-mcp` | crates.io — Rust crates, search, metadata, versions, downloads | +| `hackage-mcp` | Hackage — Haskell packages | +| `hex-mcp` | Hex.pm — Elixir/Erlang packages | +| `opam-mcp` | opam — OCaml packages | + +Plus `opsm-mcp` (Odds-and-Sods Package Manager) routes search/install/dep-resolution across all of the above. + +
+ +
+🔒 Security & secrets — 7 cartridges + +| Cartridge | Description | +|---|---| +| `secrets-mcp` | Secrets management — Vault, SOPS, env-vault | +| `vault-mcp` | Vault CLI credential broker — execute, list, verify, rotate | +| `sanctify-mcp` | Sanctify — PHP lint + deviation detection | +| `panic-attack-mcp` | panic-attacker static analysis — dangerous patterns, banned constructs, drift | +| `vext-mcp` | Vext — signed-message verification, attestation chains | +| `rokur-mcp` | Rokur — Svalinn secrets GUI authorisation layer | +| `dns-shield-mcp` | DNS security — DoQ, DoH, DNSSEC, CAA | + +
+ +
+🏗 Infrastructure-as-code, config & proof — 7 cartridges + +| Cartridge | Description | +|---|---| +| `iac-mcp` | Terraform / OpenTofu lifecycle — plan → apply → destroy with state lifecycle | +| `conflow-mcp` | Conflow — configuration management | +| `bofig-mcp` | Bofig — evidence graph query for investigative workflows | +| `proof-mcp` | Proof verification — Lean, Coq, Agda, Isabelle, Idris2, Z3, more | +| `nesy-mcp` | **Neural-symbolic** harmonisation — symbolic truth overrides neural probability | +| `ephapax-mcp` | Ephapax — proof-compiler query tools for formal verification | +| `pmpl-mcp` | PMPL licence chain verification + artefact hashing | + +
+ +
+🌱 Hyperpolymath-native admin & ecosystem — 13 cartridges + +| Cartridge | Description | +|---|---| +| `boj-health` | Self-health — status, ping, uptime | +| `fleet-mcp` | gitbot-fleet gate compliance tracker | +| `reposystem-mcp` | Reposystem — managed repos, health, mirrors, RSR compliance | +| `007-mcp` | oo7 agent meta-language — parse/run/trace/build/test/lint | +| `k9iser-mcp` | K9 contract regeneration (k9iser generate/validate/apply) | +| `idaptik-admin-mcp` | IDApTIK game server administration | +| `burble-admin-mcp` | Burble WebRTC server administration | +| `game-admin-mcp` | Game server admin + configuration drift | +| `aerie-mcp` | Aerie environment lifecycle manager | +| `hesiod-mcp` | DNS lookup cartridge | +| `fireflag-mcp` | Fireflag — extension-to-MCP mapping and discovery | +| `kategoria-mcp` | Type-theory learning system — classification + learner evaluation | +| `civic-connect-mcp` | CivicConnect community engagement platform | + +Plus `feedback-mcp` (feedback collection + sentiment), `ssg-mcp` (Hugo/Zola/Astro/Casket), `ums-mcp` (Universal Map Specification level editor). + +
+ +### Bridge-level tools (41 exposed) + +A subset of cartridges have explicit `boj__` tools at the bridge for highest-frequency operations. Everything else is reachable via `boj_cartridge_invoke`: + +- **5 core**: `boj_health`, `boj_menu`, `boj_cartridges`, `boj_cartridge_info`, `boj_cartridge_invoke` +- **3 cloud**: `boj_cloud_verpex`, `boj_cloud_cloudflare`, `boj_cloud_vercel` +- **2 comms**: `boj_comms_gmail`, `boj_comms_calendar` +- **1 ML**: `boj_ml_huggingface` +- **7 browser**: `boj_browser_navigate`, `boj_browser_click`, `boj_browser_type`, `boj_browser_read_page`, `boj_browser_screenshot`, `boj_browser_tabs`, `boj_browser_execute_js` +- **14 GitHub** + **8 GitLab** +- **1 CodeSeeker**, **1 research** +- **21 coord** (see below) + +Set `BOJ_TOOL_SCOPE=core` to advertise only the discovery surface; explicit tools remain reachable via `boj_cartridge_invoke` regardless. ## Local-coord-mcp at a glance