SPECTER LABS Tools, datasets, and experiments that support the research.
A Julia implementation joins diffusion, a peak-counting gene network, and feedback using Catlab wiring diagrams and polynomial interfaces. A separate experiment changes which cells can exchange chemicals and compares the resulting patterns. That comparison is implemented, the injury-and-repair experiment is what we want to run next, and the numerical sweep still needs reproduction.
Explore the controller and wiring test →K compares the expected costs of an agent and a blind policy in the same problem space. This reference implementation makes the comparison executable: the moves, constraints, goal, horizon, and cost units stay fixed while the policy changes.
Explore the reference implementation →Julia implementation of the BITSEY reaction-diffusion controller as composed Poly-style systems.
Canonical SPECTER design language specification and multi-target token generation.
Sub-10KB offline decision procedure for equational implication over magmas, distilled from the 4694-law implication graph.
Compare search policies within the same problem space, horizon, and cost units.
Typst template suite for Specter field manuals and public papers.
Lean-native extractor for deterministic theorem-item JSONL used in Wonton Soup corpus workflows.
Offline training and reranking over exported Wonton Soup run traces.
WASM-first egui component library for research dashboards.
Algebraic, round-trippable representations of Lean proof-state tactics.
History-mined benchmark harness for reproducible tinygrad contribution tasks.
Benchmark harness for scoring and verifying Lean sorry tactic proposals.
Deterministic ingestion pipeline for SorryDB-compatible snapshots and benchmark indexes.