Bootoshi
@kingbootoshi
agentic engineer
2
Published Tools
94
Total Stars
0
Weekly Downloads
191
GitHub Followers
63
Public Repos
Published Tools
2 Skillsacross 2 categoriestla-precheck
bootoshi
Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.
...moreSkillAI Tool
941 dir
@syntheticminds/wiretap-llm
syntheticminds
Telemetry client for sending LLM logs to Wiretap
SkillLLM Tool
1 dir