agent

yaniv-golan/pretext-skill

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

Gecti

Sahibi: yaniv-golan Dil: HTML Yildiz: 14 Puan: 0.0

Son senkron: 13 May 2026 GitHub: 13 May 2026

agent

yaniv-golan/proof-engine

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

Basarisiz

Sahibi: yaniv-golan Dil: Python Yildiz: 6 Puan: 0.0

Son senkron: 5 Nis 2026 GitHub: 5 Nis 2026

mcp

yaniv-golan/mcp-bash-framework

Portable Bash-only framework for building stdio Model Conte…

Uyari

Sahibi: yaniv-golan Dil: Shell Yildiz: 5 Puan: 0.0

Son senkron: 2 Nis 2026 GitHub: 2 Nis 2026