agent

michael-denyer/agent-formal-verify

TLA+ model checking and Lean proofs for coding agents, with…

Uyari

Sahibi: michael-denyer Dil: JavaScript Yildiz: 9 Puan: 0.0

Son senkron: 15 Eki 2026 GitHub: 15 Eki 2026

agent

michael-denyer/pstack-claude

Claude Code, Codex, OpenCode, Gemini, and Prime Agent versi…

Basarisiz

Sahibi: michael-denyer Dil: TypeScript Yildiz: 255 Puan: 0.0

Son senkron: 8 Eyl 2026 GitHub: 8 Eyl 2026