메뉴
SkillsMP는 CharlesHoskinson/russellian-book-suite에서 24개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
수집된 skill 24개 중 24개를 표시합니다.
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
General-purpose knowledge-curation layer for a book/knowledge workspace. Five capabilities — Acquire (grow the source set by citation-graph traversal and ingest via book-knowledge), Synthesize (topic maps, disputed questions, concept reconciliation over the…
원문 언어: 영어
HFR v2 evaluation. Runs the 20×20 comparison between triadic-voice (v1) and triadic-voice-v2 (v2): generate in-session, gate on the russellian-style v1 floor, score the 8 liveliness signals, judge blind pairwise, monitor formula-drift, and report pass/fail.…
원문 언어: 영어
Advisory positive prose signals (cadence, verb-energy, concreteness, curiosity, analogy, cohesion, worked-case) plus the Hoskinson corpus style-profiler for HFR v2. Use to score a passage's liveliness or to (re)build the corpus profile. Advisory only — never…
원문 언어: 영어
Neurosymbolic verifier for Bermuda Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
원문 언어: 영어
HFR v2 generator. Same in-session Russell+Feynman+Hoskinson fusion as triadic-voice, but register-routed, chassis-varied, and profile-target-driven, with an anti-copy self-check. Use when generating v2 passages for the HFR comparison. The running model is the…
원문 언어: 영어
Rewrite technical prose in Bertrand Russell's analytic style — lexical economy, logical atomism, declarative active-voice sentences, no hedging, axiomatic structure. Use when user says "apply Russell style", "rewrite in Russellian style", "tighten this…
원문 언어: 영어
Sequential cross-chapter linkage review. Use when drafting chapter N to audit how it builds on chapters 1..N-1 — concept linkage, handoff seams, and spiral coherence in Paul Halmos's sense. Emits halmos-review.md + halmos-verdict.json and soft-gates the…
원문 언어: 영어
Scaffold and extend ClojureScript + Rust neurosymbolic verification projects. Use when user says "scaffold a neurosymbolic project", "verify these claims with Z3", "add a rewrite rule", "ground this predicate in Rust", "extend the atomspace IR", "build a…
원문 언어: 영어
Deterministic harsh review of cryptography papers under the EUROCRYPT 2022 review rubric. Dispatches ten expert-persona reviewers in parallel (game-based crypto, UC, concrete security, BFT consensus, P2P networks, TEE hardware, formal methods, applied crypto,…
원문 언어: 영어
Rewrite already-Russellized technical prose in Richard Feynman's voice — concrete analogy and physical intuition, conversational directness, honest curiosity, plain playful diction — without altering the argument. Use when user says "apply Feynman style",…
원문 언어: 영어
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.
원문 언어: 영어
Neurosymbolic verifier for Epidemiology Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
원문 언어: 영어
Neurosymbolic verifier for Osmotic pressure. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
원문 언어: 영어
The sole network-touching skill of the russellian-book-suite. Wraps Scrapling 0.4.8 with arxiv, OpenAlex, Semantic Scholar HTML, and DOI adapters, plus a streaming PDF downloader. Use when you need to fetch a URL, search a paper repository, traverse a…
원문 언어: 영어
Generate or rewrite prose in a fused writing voice — Bertrand Russell's analytic rigor, Richard Feynman's intuition-first warmth, and Charles Hoskinson's candor and momentum — grounded in a committed corpus of Hoskinson's real transcribed speech. Runs…
원문 언어: 영어
Write or revise mathematical and protocol prose for IACR submissions (Crypto, Eurocrypt, Asiacrypt, TCC, PKC, CHES, FSE). Enforces notation discipline, iacrtrans/amsthm environment usage, and the three accepted IACR proof styles (game-based, UC-simulation,…
원문 언어: 영어
Thread a collection of existing paragraphs toward a goal (argument, emotion, or narrative) by reordering them, writing bridges, and lightly editing seams. Use when the user has paragraphs and a goal and wants them assembled into a coherent, goal-directed…
원문 언어: 영어
Orchestrate configurable multi-persona editorial review panels over book-review. Use when user says "run the panel", "review chapter with the conductor", "run the seven-persona panel", "soft-gate this chapter via review-conductor". Loads a panel YAML config,…
원문 언어: 영어