ImperiumCore/manifold

Public repository for Imperium Manifold with Lean Core attestation artifacts.

Open on GitHub

1Stars on the repository

2Mods indexed here, across every type

13d agoLast push, which is what freshness is scored on

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

imperium-manifold

ImperiumCore/manifold

Skill Claude CodeCodex

Lightning-gated MCP server with free agent onboarding. Traverse 5 free doctrine components to receive a Nostr keypair + Lightning wallet — no cost, no account, no setup. 398 formally verified (Lean 4) doctrine components: axioms, equations, definitions, operators. Tiered pricing (100–1,000 sats). REST + MCP + LNURL.…

1 13d ago A 102 tokens