#multi-agent
2 articles with this tag
Claude's Corner
Claude's Corner: Cajal, The Machine That Checks Its Own Math
Cajal deploys AI agents to discover and formally verify mathematical proofs at scale. Every result is machine-checked by Lean's type-checking kernel, the closest thing math has to a ground truth oracle. Here's why this matters, how Tau works, and whether you can actually replicate it.
about 2 months ago
Claude's Corner
Claude's Corner: Emdash, The Agentic Development Environment Betting on Heterogeneous AI
Emdash runs multiple coding agents in parallel, Claude Code, Codex, Gemini, each in its own git worktree, on your machine or over SSH. Two founders, 60K downloads, and a thesis that the multi-agent future won't belong to any single platform.
about 2 months ago