By NetRxn
Stage-13 QA review agents for the SK_EFT_Hawking physics project: adversarial paper audit, sentence-level claims verification with chain-of-backing, and figure review.
Fresh-context adversarial review of a paper draft before submission. Runs Stage 13 of the pipeline. Finds every way a paper can be wrong that the internal pipeline missed — wrong-target citations, parameter drift from primary sources, placeholder theorems cited as verified, cross-paper contradictions, narrative overclaims, stale counts, production runs claimed as evidence without a successful backing run. Emits structured ReviewFinding records that the graph extractor consumes automatically. Finding severity determines gate impact: any finding reopens the relevant ReadinessGate and the paper cannot advance to submission until remediation lands and Stage 13 re-runs clean. <example> Context: User has completed a paper and run the full validate.py suite green. user: "Run adversarial review on paper 12 before I submit" assistant: "I'll use the adversarial-reviewer agent to audit paper 12 with fresh context." </example> <example> Context: Periodic sweep of all draft papers before a submission window. assistant: "Running adversarial review on every paper whose last-reviewed timestamp is older than 7 days." </example>
claims-reviewer-v2 — sentence-level prose audit for SK-EFT Hawking papers. Walks every sentence in a paper draft and emits a sentence-keyed JSON record with chain-of-backing (formula/theorem/axiom/parameter/citation/hypothesis) plus agent verdict (PASS/FAIL/WARN/INFO/UNGROUNDED/TRANSITION) per sentence. Covers five finding classes: internal arithmetic drift (IA), toolchain pin drift (TP), stealth pipeline-vs-prose drift (SD), theorem-name reference drift (TN), and hypothesis disclosure gap (HD). Emits reconciliation records (not silent supersession) for prior findings that don't reproduce. Invoke after updating a paper draft or before submission. <example> Context: User has updated Paper 1 with new parameter values user: "Review Paper 1 claims after the parameter corrections" assistant: "I'll use the claims-reviewer agent to walk Paper 1 sentence by sentence and verify every chain." </example> <example> Context: Proactive review before paper submission assistant: "Paper draft updated. Let me run the claims-reviewer sentence-walker pass before submission." </example> <example> Context: After a Lean refactor renames/removes theorems user: "We renamed three theorems in ScalarRungInterpretation — audit paper20" assistant: "I'll use the claims-reviewer agent; Class TN will auto-catch any stale \\texttt{...} references." </example>
Use this agent to review generated physics figures for rendering quality, physics accuracy, and style consistency. Invoke after running review_figures.py to generate PNGs and a review manifest. Produces a structured report that pairs with validation results. <example> Context: User has run review_figures.py and wants figures checked user: "Review the generated figures for issues" assistant: "I'll use the figure-reviewer agent to visually inspect each figure against the manifest." <commentary> Figures have been generated and need systematic visual review before paper submission or notebook finalization. </commentary> </example> <example> Context: User has updated visualizations and wants to verify output user: "Check that the new CGL figures look correct" assistant: "I'll use the figure-reviewer agent to review the figures against their expected properties." <commentary> After modifying visualization code, visual review catches rendering issues that automated checks miss. </commentary> </example> <example> Context: Proactive review after figure generation completes assistant: "Figures generated successfully. Let me review them for rendering quality and accuracy." <commentary> Proactively invoke after figure generation to catch issues before they reach the paper or notebooks. </commentary> </example>
Consolidate harvest-extractor candidates into the System-2 register. Dispatched by the harvest skill.
Extract dev-process/harness signal from a /goal transcript span — including the pre-vs-post-compact delta across boundaries. Dispatched by the harvest skill.
Interactively review the System-2 dev-process harvest — promote agent-reviewed findings to human-reviewed (or close them), and triage GAP-A gate proposals. Use when you want to sign off on what the autonomous loop learned about HOW it ran.
Toggle the AskUserQuestion guard for the current managed /goal loop. Turn it off when you want the loop to be able to ask you a question; turn it back on to resume autonomous protection. Use when you want to enable or disable being asked questions during an autonomous dev loop.
The unified goal-mode skill for an autonomous /goal dev loop. Its core is the always-on operating posture (re-attaches after compaction); on invocation it composes the /goal condition AND registers the session with the harness. Use when starting a managed /goal dev loop, or when asked to write/refine a goal prompt or acceptance criteria for autonomous development.
Off-hot-loop System-2 harvest. Reads each managed /goal session's transcript from a byte-offset watermark, extracts process/harness signal (Haiku) — crossing the compact boundary for the pre-vs-post-compact delta and ingesting the guard's blocked-question log — and consolidates it (Opus) into agent-reviewed findings, refreshing the active-issues view. Invoked by a Desktop scheduled task or a second-session /loop — never inside a /goal session.
Run the full mechanical Stage-12 sync (counts, tables, deps, citation cache) in one command. Use before a wave gate, or whenever counts/tables/figures may have drifted from the Lean/Python sources.
Uses power tools
Uses Bash, Write, or Edit tools
Own this plugin?
Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).
Sign in to claimOwn this plugin?
Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).
Sign in to claimBased on adoption, maintenance, documentation, and repository signals. Not a security audit or endorsement.
One project, one machine-checked Lean 4 library, one consistent thesis. Can the mathematics of exotic matter — superfluids, topological insulators, fault-tolerant quantum codes — also describe the fundamental forces, the Standard Model's particle content, and the conditions under which gravity and dark physics emerge? Every derivation in this repository is verified end-to-end by the Lean 4 proof assistant. As of the date below: 9,944 theorems across 751 modules, 0 axioms, 0
sorry.
| If you are a… | Start here |
|---|---|
| Curious visitor, journalist, or non-specialist | The plain-language Educational Companion Guide — the whole project explained from scratch, no physics or formal-methods background assumed. |
| Physicist scanning for testable predictions | §1 Analog Hawking radiation (BEC / polariton / graphene Dirac fluid) and §2 The Standard Model fingerprints |
| Quantum-computing & gate-synthesis researcher | §3 Topological & fault-tolerant quantum computation — the first machine-checked Solovay–Kitaev at arbitrary dimension SU(d), a five-alphabet compilation survey, a T-free CCZ-essential density proof, and an unconditional Toffoli lower bound (bundle D8). |
| Fault-tolerance / quantum-error-correction researcher | §3, the fault-tolerance layer — gauging-QEC overhead class-separation, Shor ECC-256 T-counts, APM-LDPC hashing bound, AGP threshold (bundle D6). |
| Formal-methods / Lean 4 researcher | §7 Verification methodology (three-layer Python ↔ Lean ↔ Aristotle, the 14-stage wave pipeline, the no-axiom posture) and Headline theorems |
| Cosmologist / dark-sector physicist | §5 Dark sector and dark energy (Gibbs–Duhem no-go, three-track dark-energy closure, superfluid-DM merger forecast) |
| Categorical / SymTFT person | §6 The SymTFT unification and §4 Emergent gravity |
| Newcomer who wants the whole picture | Read the Thesis and Three-layer architecture sections below in order. |
The project investigates a single hypothesis and a single counter-hypothesis, and tries to keep them both honest:
w_vac = −1, and others.Both sides live side by side in the same Lean library. Tracked-hypothesis Props carry the conditional / research-grade claims explicitly at the type-signature level, so consumers always see what's being assumed.
Layer 1 — Laboratory platforms BEC / polariton / graphene Dirac fluid
(where the substrate physics is or can be measured) + Fermi–Hubbard dimer quantum gate
Layer 2 — Formal substrate Schwinger–Keldysh EFT, acoustic Hawking,
(the verified mathematical machinery) anomaly classification (Z₁₆), quantum groups,
modular tensor categories, verified statistics,
SymTFT audit substrate, LDP linear response
Layer 3 — Emergent-physics targets Standard Model particle content,
(what Layer 2 is alleged to produce) three generations, chirality wall + escape,
ADW emergent gravity, GW propagation,
BH entropy + four laws, dark sector,
fault-tolerant quantum computation
npx claudepluginhub netrxn/sk_eft_hawking --plugin skeft-qaA meta-learning system that helps people learn any skill efficiently through adaptive assessment, curriculum design, spaced repetition, and interactive training. Synthesizes Tim Ferriss' DiSSS/CaFE frameworks with evidence-based enhancements from cognitive psychology, instructional design, and motivation science.
Complete collection of battle-tested Claude Code configs from an Anthropic hackathon winner - agents, skills, hooks, and rules evolved over 10+ months of intensive daily use
Modern R development skills for Claude Code - tidyverse patterns, rlang metaprogramming, Bayesian inference, performance optimization, and more
Unity Development Toolkit - Expert agents for scripting/refactoring/optimization, script templates, and Agent Skills for Unity C# development
Complete creative writing suite with 10 specialized agents covering the full writing process: research gathering, character development, story architecture, world-building, dialogue coaching, editing/review, outlining, content strategy, believability auditing, and prose style/voice analysis. Includes genre-specific guides, templates, and quality checklists.
Comprehensive .NET development skills for modern C#, ASP.NET, MAUI, Blazor, Aspire, EF Core, Native AOT, testing, security, performance optimization, CI/CD, and cloud-native applications
20 SEO/GEO skills and 5 commands on one shared contract for keyword research, content creation, technical audits, schema markup, monitoring, quality gates, entity truth, and campaign memory.