Create formal, verifiable proofs of claims with machine-checkable reasoning
Add the marketplace (inside Claude Code):
/plugin marketplace add yaniv-golan/proof-engineInstall the plugin:
/plugin install proof-engineMem0 memory layer for AI applications. Add persistent memory, personalization, and semantic search to Claude workflows.