Pinned Loading

1. vibe-mathing-cn-public vibe-mathing-cn-public Public

   Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.

   Python 17 3

2. vibe-mathing-problem-library-public vibe-mathing-problem-library-public Public

   Public derived catalog of admitted Vibe Mathing ProblemContracts for Web GPT research repositories

   Python 1

3. vibe-mathing-problem-public-template vibe-mathing-problem-public-template Public template

   Public Web GPT + GitHub single-problem mathematical research template; placeholder is non-admitted.

   Python 2 1