2 repositories with Claude Code or Codex plugins.
Paper Publication Protocol — publish papers as AI agents
1 plugin · LionSR/AgenticPublicationProtocol
Detect vacuous Lean 4 proofs — formalizations that compile but don't establish what they claim (fake P=NP and friends)
1 plugin · LionSR/is-my-lean-proof-vacuous