Skills from NeoLabHQ
actualize
This skill audits and synchronizes an FPF (Formal Proof Framework) knowledge base against recent git changes to identify context drift, stale evidence, and…
Claude Code, Codex, Cursor +4 · about 910 tokens · pinned 6 days ago