원클릭으로 Manus에서 모든 스킬 실행

osmotic-pressure

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

Manus에서 실행

개요

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

설치 명령

npx skills add https://github.com/CharlesHoskinson/russellian-book-suite --skill osmotic-pressure

이 명령을 Claude Code에 복사하여 붙여넣어 스킬을 설치하세요

출처

CharlesHoskinson/russellian-book-suite

스타1

포크1

업데이트2026년 6월 4일 01:38

파일 탐색기

91 개 파일

SKILL.md

readonly

name	osmotic_pressure
description	Neurosymbolic verifier for Osmotic pressure. 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"}

Osmotic pressure 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.

이 저장소의 다른 Skills

같은 저장소

adsc-clinical

CharlesHoskinson/russellian-book-suite

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.

2026-06-041

bermuda

CharlesHoskinson/russellian-book-suite

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

2026-06-041

epidemiology

CharlesHoskinson/russellian-book-suite

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

2026-06-041

book-compose

CharlesHoskinson/russellian-book-suite

Compile chapter drafts from a validated book workspace. Loads chapter contracts, queries verified claims, generates outline then sections, 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-031

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-031

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-031

출처

CharlesHoskinson

CharlesHoskinson/russellian-book-suite

GitHub 저장소 열기 Creator 저장소 보기

설치 명령

다운로드

Manus에서 실행

유용한 대상SOC

정보 보안 분석가컴퓨터 및 수학직15-1212L4

name	osmotic_pressure
description	Neurosymbolic verifier for Osmotic pressure. 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"}

Osmotic pressure 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.