Pinned Loading

1. gradient-descent-lean gradient-descent-lean Public

   Lean 4 formal proofs of gradient descent convergence for smooth convex optimisation — 17 theorems, zero sorry

   Lean

2. canary canary Public

   LangGraph pipeline for ESG regulatory change monitoring — fetch, detect, extract, verify, report

   Python

3. flywheel-memory flywheel-memory Public

   Compounding knowledge-graph memory for AI agents over open markdown. Hybrid search, self-correcting wikilinks, decision-surface retrieval. MCP server.

   TypeScript

4. mcp-seal mcp-seal Public

   Verified MCP approval-gate sidecar: a Lean-proven policy monitor for tools/call approvals

   Lean

5. flywheel-ideas flywheel-ideas Public

   The local-first falsifiable decision ledger — MCP server that turns an Obsidian vault into a compounding decision system with multi-model AI council dissent and outcome-driven refutation propagation.

   TypeScript

6. flywheel-universe flywheel-universe Public

   budgeted hebbian kuramoto with fixed support and symmetric-frobenius projection — control/calibration algorithm for oscillator-based ising machines

   Jupyter Notebook 1