ZK Theory
Official@ZK-Theory
ZK Theory provides research-assurance skills for topological data analysis (TDA) pipelines, statistical null models, reproducibility, and academic paper production.
Agent Skills by ZK Theory
Showing 78 vetted skills indexed across 1 GitHub repositories.
ZK-Theorynull-operation-invariance-audit
Audits permutation nulls to confirm the shuffle perturbs the object the test statistic consumes.
ZK-Theoryapm-7-handoff-worker
Creates Handoff Logs and handoff prompts to transfer Worker context between APM instances.
ZK-Theorytda-paper-dissemination-pack
Converts stable research paper results into public web pages, talks, posters, and graphical abstracts.
ZK-Theorywriting-plans-extras
Traces deferred obligations and approval gates from specifications into implementation plans.
ZK-Theorygh-address-comments-extras
Harden GitHub PR review thread fetching and scanner suppression workflows against encoding and metadata errors.
ZK-Theorytda-statistical-modeling-toolkit
Fits and reviews non-topological statistical models as baselines and robustness checks for TDL research.
ZK-Theoryrepresentation-freeze-audit
Audits embedding freeze and null-operation correctness in TDA experiment pipelines.
ZK-Theorypaper-repo-extract
Extracts a standalone reproducibility repository for a paper from the TDL monorepo.
ZK-Theorytda-learning-scaffold
Generates structured learning materials for topology, statistics, Lean, and Manim study tracks.
ZK-Theoryapm-8-summarize-session
Summarizes an APM session and archives its planning artifacts via the apm CLI.
ZK-Theorypaper-draft
Drafts, extends, and critiques academic paper sections for TDA social science research.
ZK-Theoryphase0-status
Renders a single-screen Phase 0 status dashboard from project files and draft directories.
ZK-Theorypanel-estimand-audit
Validates that panel study estimands stay stated, stable, and aligned with eligibility and denominators.
ZK-Theorytda-experiment
Scaffolds new topological data analysis experiment modules with tests in domain packages.
ZK-Theorysource-command-apm-6-handoff-manager
Creates Handoff Log and handoff prompt artifacts for APM Manager context transitions.
ZK-Theorytda-literature-verification
Verifies literature leads against authoritative sources before citation or Zotero entry creation.
ZK-Theorylean-proof
Orchestrates the Leanstral prover to generate and kernel-check Lean 4 proof terms.
ZK-Theorycontract-first-tdd
Implements result-bearing code through contract-governed red-green-refactor test cycles.
ZK-Theorycommit-log
Generates prefixed commit messages and matching Obsidian vault entries for completed research work.
ZK-Theorytda-agent-safety-guardrails
Reviews and enforces agent safety boundaries around git operations, hooks, and result artifacts.
ZK-Theorytda-statistical-analysis-review
Reviews statistical claims in paper-bound analyses for reporting completeness and proportionality.
ZK-Theorytda-large-workflow-supervision
Supervises large multi-stage TDL campaigns with capability tracking, dispatch envelopes, and exact-state handbacks.
ZK-Theorywriting-skills-extras
Validates Codex skills using non-delegated RED-GREEN-REFACTOR fixtures when subagents are unavailable.
ZK-Theorytda-representation-diagnostics
Diagnoses embedding stability, coordinate-frame alignment, and representation drift in TDL pipelines.
Frequently Asked Questions About ZK Theory
FAQPage SchemaWhat tasks can I accomplish with ZK Theory's skills?▼
You can scaffold TDA experiments, design Markov and permutation null models, audit statistical designs (GLMs, MICE, IPW, FDR), validate topological results against benchmarks, harmonize BHPS/Understanding Society survey waves, produce publication figures, and manage paper drafts, claims, and reproducibility packages.
Who are these skills designed for?▼
They target computational researchers and data scientists working on topological data analysis of longitudinal social-science panel data, plus the implementer, verifier, orchestrator, and claim-reviewer roles defined in the manifest's role metadata for multi-agent research sessions.
How do the skills run in practice?▼
Skills are runtime-agnostic per their metadata and operate inside agent runtimes such as Claude Code and Codex. APM skills initiate planner, manager, and worker agents, deliver task prompts and reports, and perform handoffs via a file-based message bus protocol.
Are ZK Theory's skills open source and what do they cost?▼
The manifest specifies no license or pricing information. The organization has one public repository and no listed website, so licensing and cost terms cannot be confirmed from the provided skill metadata alone.
What prerequisites or dependencies do these skills assume?▼
Skills assume a TDL research monorepo with contracts/, papers/shared/notation.md, and an Obsidian vault; some reference Lean 4 with the Leanstral prover, Zotero, GitHub PR scanners (Codacy, Semgrep, CodeQL), and external data sources like FRED, World Bank, Eurostat, ONS, and SEC.