一键导入
second-brain
Query the Trinity S3AI second brain (RAG) via the trios-mcp-rag MCP server — chapter search, claim status, honest counters, PDF pipeline
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Query the Trinity S3AI second brain (RAG) via the trios-mcp-rag MCP server — chapter search, claim status, honest counters, PDF pipeline
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | second-brain |
| description | Query the Trinity S3AI second brain (RAG) via the trios-mcp-rag MCP server — chapter search, claim status, honest counters, PDF pipeline |
Query the Trinity S3AI second brain through the dedicated trios-mcp-rag MCP server.
trios-mcp-rag/Users/playra/trios-mcp-rag/target/release/trios-mcp-ragssot_brochure.chapters — 80 chapters, 58K words)DATABASE_URL (set in ~/.zshenv)| Tool | Purpose |
|---|---|
search_chapters | Full-text search across all 80 GOLDEN CHAIN chapters |
get_chapter | Fetch full chapter content by slug |
list_chapters | List all chapter slugs with metadata |
forbidden_audit | Scan for policy violations (prohibited terms) |
build_cover | Generate LaTeX titlepage |
build_pdf | Run SSOT→Markdown→pandoc→tectonic→PDF pipeline (dry-run by default) |
build_book | Extended PDF pipeline with TOC and book-mode |
get_claim_status | Search chapters for claim-status markers |
list_claims | Scan all chapters for claim-status vocabulary |
get_honest_counters | Return audited trinity-s3ai proof counters |
preview_chapter_update | Dry-run: show SQL diff for proposed chapter update |
backup_ssot | Create timestamped backup table (requires confirm=true) |
Use MCP tool trios-mcp-rag.search_chapters with query="boundary theorems"
Use MCP tool trios-mcp-rag.get_chapter with slug="bt-1-obstruction"
Use MCP tool trios-mcp-rag.list_claims
Use MCP tool trios-mcp-rag.get_honest_counters
Use MCP tool trios-mcp-rag.build_pdf with dry_run=true
trios-mcp-rag server connects to ssot_brochure.chapters (publication subset).trinity-postgres MCP server (generic postgres).Coq proof editing rules for Trinity S3AI — honesty tags, Admitted conventions, and proof structure
Садовник IGLA RACE — управление садом обучающих запусков trios-train. Команды: status, prune, water, harvest, fertilize, weed, trellis, compost, full. Предпочитает tri gardener CLI (Rust) и HTML chart report с Chart.js. Триггеры: «/gardener», «садовник», слова про BPB/логи/упавшие процессы в контексте trios-train.
Boundary Theorems BT-1 through BT-4 — formal obstruction results and how to cite them correctly
Audit and heal anomalies in the Trinity S3AI second brain database
Edit the Trinity S3AI claim ledger — SSOT rules, YAML editing, and regeneration workflow
GOLDEN CHAIN puzzle — hardware-verified proof chain, ClaimStatus rules, scoring, ring architecture, and how to modify the game