@spytensor
1
Published Tools
Total Stars
0
Weekly Downloads
100/100
Avg Security
spytensor
Machine-verified planning for Claude Code and LLMs. Proof-based automation prevents fake completion through shell-based verification tests.