Stories by syumei

Two Heads Are Better Than One: Run Many AI Agents, Merge One Auditable Result

How Claude Code Broke My Git Worktree

A Git/LFS-backed unified tool-output format for AI agents, with 95% token cut

Claude Code and Codex can have real-time conversation via Git

Git-based cache saves 50% on token usage

Hacking MCP Servers in AI Systems – The Rug Pull: Tool Changes After Approval

A curated corpus of incidents and attack vectors for autonomous AI agents

ZkFuzz Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

From College Project to 400 GitHub Stars: The Story of AIJack

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

AIJack: Security and Privacy Risk Simulator for Machine Learning

Gymbo: Gradient-Based Symbolic Execution