Menu
Query the Trinity S3AI second brain (RAG) via the trios-mcp-rag MCP server — chapter search, claim status, honest counters, PDF pipeline
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
| 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