This is your work, valued

Munich, Germany

Sirui Lu

Expert
@LionSR

Physics for AI; AI for Physics.

TNLean. Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)

27

mcp-apple. TypeScript

5

AgenticPublicationProtocol. Paper Publication Protocol — publish papers as AI agents

5

agent-ci-actions.

3

MIPStarRE. Lean

2

is-my-lean-proof-vacuous. Detect vacuous Lean 4 proofs — formalizations that compile but don't establish what they claim (fake P=NP and friends)

1

toomany. For people with too many projects — a macOS menu-bar launcher that finds every project you and your AI agents touched (Claude Code, Codex, Cursor, git worktrees) and reopens it in one hotkey

1