jmf-enigma/codex-theory-proof-workbench
Codex skill for hard theory proof discovery, debugging, and failed-proof recovery
Codex skill for hard theory proof discovery, debugging, and failed-proof recovery
npx skills add jmf-enigma/codex-theory-proof-workbenchCodex skill for hard theory proof discovery, debugging, and failed-proof recovery
Security scanner for AI agents, MCP servers and agent skills.
Claude Skill + MCP server for Israeli live events, venues, and outing planning. Bilingual (Hebrew + Russian). Wraps the public agentic API at venues-israel.com.
Library Agent Skills
Agent skill repository.
Claude Code skills by Forketyfork
네이버 쇼핑 공개 BFF JSON을 k-skill-proxy로 조회해 상품 후보, 최저가, 판매처 링크를 보수적으로 가격비교한다.