Pinned Loading

1. chipgate chipgate Public

   Deterministic structural sanity checker for Verilog RTL — undriven outputs, multi-driven signals, latch-inference risks, blocking/nonblocking misuse. Pure Python stdlib.

   Python 14 2

2. claimgate claimgate Public

   Paste an AI science claim; ClaimGate extracts each claim, routes it to a deterministic gate, and seals a replayable evidence pack.

   Python 11 1

3. claimlint claimlint Public

   Lint READMEs and docs for unsupported AI/science/benchmark claims. CLI + GitHub Action.

   Python 12 1

4. claimstack-demo claimstack-demo Public

   End-to-end demo: route a written claim to a gate, check it, seal a receipt, replay it. Ties UnitGate + EvidencePack + ReplayGate + ClaimLint together.

   Python 11 1

5. elementgate elementgate Public

   Deterministic chemistry validator — formula parsing, molar mass, reaction balance (atoms + charge). Pure Python stdlib.

   Python 12 1

6. replaygate replaygate Public

   Re-run sealed evidence packs and detect verification drift. Allowlisted, sandboxed replay commands.

   Python 13 1