plansm. Machine-verified planning for Claude Code and LLMs. Proof-based automation prevents fake completion through shell-based verification tests.

github.com/spytensor/plansm
by @spytensor

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.