Ejecuta cualquier Skill en Manus
con un clic

Ejecuta cualquier Skill en Manus con un clic

adsc-clinical

Estrellas2

Forks1

Actualizado16 de junio de 2026 a las 04:44

Neurosymbolic verifier for ADSC Clinical Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.

Instalación

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Ejecutar en Manus

Fuente

CharlesHoskinson

CharlesHoskinson/russellian-book-suite

Abrir repositorio de GitHub Ver repositorios del creador

Descarga

Ejecutar en Manus

Ocupaciones relacionadasSOC

Basado en la clasificación ocupacional SOC

Desarrolladores de softwareOcupaciones informáticas y matemáticas·SOC 15-1252

Explorador de archivos

75 archivos

SKILL.md

readonly

name	adsc_clinical
description	Neurosymbolic verifier for ADSC Clinical Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
license	MIT
metadata	{"version":"0.1.0","category":"verification","emits":"pdf"}

ADSC Clinical Verifier verifier

Runs the four-phase neurosymbolic pipeline against a claim set.

Usage

npm install && npm run build — first-time setup
node cljs-orchestrator/dist/main.js verify work/claims.edn work/verdict.edn — verify
node cljs-orchestrator/dist/main.js typeset work/report.md work/report.pdf — typeset

Extension

This project is a scaffold from neurosym-forge. Add rules and grounded atoms via that skill, never by hand-editing rules/*.edn.

Más de este repositorio

mismo repositorio

book-compose

CharlesHoskinson/russellian-book-suite

Compile chapter drafts from a validated book workspace. Loads chapter contracts, obtains the chapter-retrieval bundle scaffold, drafts claim-first prose, records and checks writer assertions, applies Russellian style, runs release-gate validation, and produces release bundles (Markdown plus optional PDF/EPUB/LaTeX). All processing is local — no external APIs. Use when user says "draft chapter X", "compile chapter from contract", "build release bundle for chapter X", "render chapter to PDF", "build the book release", or "publish the book". Do NOT use for source ingestion (use book-knowledge) or prose-only rewrites (use russellian-style). Also builds book-level releases (manuscript Markdown, React+Tailwind HTML browser, Playwright PDF). Stage 4 includes a multi-persona editorial review (Gottlieb, Lay Reader, Domain Expert, Copyeditor, Enjoyment Reader) via the book-review sibling; chapter releases soft-gate on `persona_critical_count == 0`.

2026-06-202

review-revise-validate

CharlesHoskinson/russellian-book-suite

Run a single-pass review→revise→re-validate cycle on one chapter. Dispatches the book-review panel via gemma4:31b, aggregates findings, synthesizes revision instructions, runs a gemma4 reviser persona to produce paragraph-level rewrites, applies them, re-runs the panel, and emits a before/after delta report. Use when user says "revise chapter X based on the panel", "run a revision cycle on this chapter", "what does the cycle say about ch-N". Do NOT use for cross-chapter consistency (chapter is the unit), voice-level prose tightening absent panel findings, or auto-iteration (single pass only — operator re-runs manually for further passes).

2026-06-202

book-knowledge

CharlesHoskinson/russellian-book-suite

Ingest technical sources (PDFs, markdown, papers) into a book workspace and maintain its persistent epistemic state — wiki synthesis, claim ledger with provenance, RDF graph with SHACL validation. All processing is local — no external APIs. Use when user says "ingest this paper", "add this source to the book", "update the book wiki", "extract claims from this section", "audit the knowledge graph", "validate claims", "find contradictions in the wiki", "check what's stale", or asks to refresh sources for a chapter. Do NOT use for chapter drafting (use book-compose), prose rewrites (use russellian-style), or casual document Q&A.

2026-06-202

book-qa

CharlesHoskinson/russellian-book-suite

Post-build mechanical and editorial quality gate for non-fiction book artifacts. Runs after build_book and before shipping; the last gate. Deterministic linting (D1-D8) plus per-chapter agent swarm (C1-C15) plus optional metabook defects (D9-D12 from book-thesis) plus optional verifier defects (D13). Use after book-compose builds manuscripts to lint, aggregate QA findings, and drive bounded fixes. Do NOT use for source ingestion (use book-knowledge), prose rewrites (use russellian-style), persona reviews (use book-review), or chapter drafting (use book-compose).

2026-06-202

book-review

CharlesHoskinson/russellian-book-suite

Run multi-persona editorial reviews on a drafted chapter. Seven personas (Robert Gottlieb, Lay Reader, Domain Expert, Copyeditor, Enjoyment Reader, AI-Slop Detector, First-Time Visitor) read the chapter and return severity-tagged feedback. Critical findings soft-gate chapter release. Use when user says "review chapter X with personas", "Gottlieb pass on this chapter", "run the editorial reviews", "what would Gottlieb say about this draft", "is this chapter ready for review", "soft-gate this chapter". Do NOT use for source ingestion (use book-knowledge), prose-only style fixes (use russellian-style), chapter drafting (use book-compose), or persona reviews on prose outside the book pipeline.

2026-06-202

book-thesis

CharlesHoskinson/russellian-book-suite

Metabook reasoning layer for the book-* skill suite. Owns the intent substrate: a thesis tree, paragraph back-pointers to thesis nodes, per-paragraph entailment checks, and an EDN/Cozo consistency pass over claim facts for transitive cross-chapter contradictions. Use when a book needs to enforce three properties simultaneously: factual accuracy, cross-chapter consistency, and preservation of the core point across revisions. Composes with book-knowledge (facts), russellian-style (prose), book-compose (orchestrator), book-review (qualitative), book-qa (mechanical gate). Do NOT use for chapter drafting (use book-compose), claim ingestion (use book-knowledge), or sentence-grain prose discipline (use russellian-style).

2026-06-202

name	adsc_clinical
description	Neurosymbolic verifier for ADSC Clinical Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
license	MIT
metadata	{"version":"0.1.0","category":"verification","emits":"pdf"}

ADSC Clinical Verifier verifier

Runs the four-phase neurosymbolic pipeline against a claim set.

Usage

npm install && npm run build — first-time setup
node cljs-orchestrator/dist/main.js verify work/claims.edn work/verdict.edn — verify
node cljs-orchestrator/dist/main.js typeset work/report.md work/report.pdf — typeset

Extension

This project is a scaffold from neurosym-forge. Add rules and grounded atoms via that skill, never by hand-editing rules/*.edn.