Popular repositories Loading

1. mcp-apple mcp-apple Public

   TypeScript 5 5

2. AgenticPublicationProtocol AgenticPublicationProtocol Public

   Paper Publication Protocol — publish papers as AI agents

   Python 3

3. agent-ci-actions agent-ci-actions Public

   2

4. is-my-lean-proof-vacuous is-my-lean-proof-vacuous Public

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

   Python 1

5. toomany toomany Public

   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

   Swift 1

6. Demo Demo Public

   Forked from Cell-veto/Demo

   Demo programs in Python and C++

   Python