agent

yaniv-golan/pretext-skill

AI skill for @chenglou/pretext — exact text metrics without…

Pass

Owner: yaniv-golan Language: HTML Stars: 14 Rating: 0.0

Last sync: May 13, 2026 GitHub: May 13, 2026

agent

yaniv-golan/proof-engine

AI agent skill that creates formal, verifiable proofs of cl…

Fail

Owner: yaniv-golan Language: Python Stars: 6 Rating: 0.0

Last sync: Apr 5, 2026 GitHub: Apr 5, 2026

mcp

yaniv-golan/mcp-bash-framework

Portable Bash-only framework for building stdio Model Conte…

Warn

Owner: yaniv-golan Language: Shell Stars: 5 Rating: 0.0

Last sync: Apr 2, 2026 GitHub: Apr 2, 2026