Physics for AI; AI for Physics.
mcp-apple. TypeScript
AgenticPublicationProtocol. Paper Publication Protocol — publish papers as AI agents
agent-ci-actions.
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)
