Pinned Loading

1. post-quantum-mcp post-quantum-mcp Public

   MCP server for post-quantum cryptography (ML-KEM, ML-DSA, SLH-DSA) with hybrid X25519+ML-KEM-768 key exchange. Research/prototyping tooling using liboqs.

   Python 1

2. erdos647-proof-chain erdos647-proof-chain Public

   Lean 4 proof-chain package for Erdős Problem #647

   Lean

3. llm-wiki llm-wiki Public

   Agent-native starter kit for maintaining a persistent markdown wiki from raw sources.

   Python

4. quantum-seal quantum-seal Public

   Quantum Seal — Quantum-resistant encrypted messaging for AI agents. Sealed envelopes with hybrid X25519 + ML-KEM-768 confidentiality and ML-DSA-65 sender authentication. Secret keys never enter the…

   Python

5. erdos367 erdos367 Public

   Lean 4 formalizations for Erdős Problem #367 — powerful parts of consecutive integers

   Lean

6. chsh-bell-test-metric-proof chsh-bell-test-metric-proof Public

   CHSH Bell test with strict metric-only hardware repeat proof

   Python