agent

gokeshenzhen/awesome-formal-verification-skill

Open-source, agent-agnostic RTL formal verification skill l…

Pass

Owner: gokeshenzhen Language: Python Stars: 34 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

mcp

zhenyuanfan/xshell-agent-bridge

面向 Codex、Claude Code、Cursor、Kimi 等 AI Agent 的本地 Xshell MCP…

Fail

Owner: zhenyuanfan Language: JavaScript Stars: 5 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

skill

onekapisch/Tokens-4-Breakfast

Track AI token usage, spend, subscriptions & rate-limit pre…

Warn

Owner: onekapisch Language: - Stars: 6 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

mcp

Hugelidus/Pointcast

Talk and Alt+click on your web app; Claude Code, Codex, Gem…

Warn

Owner: Hugelidus Language: TypeScript Stars: 5 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

agent

leepokai/Codync

Open-source 1:1 alternative to Grok Bot and Muse: message y…

Pass

Owner: leepokai Language: Rust Stars: 18 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

agent

Gord1y/countersign

Native macOS approval panel for every Claude Code, Codex, C…

Warn

Owner: Gord1y Language: Swift Stars: 5 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

mcp

RdyGaming/hated-wow-mcp

MCP server for World of Warcraft addon development: 20 tool…

Warn

Owner: RdyGaming Language: TypeScript Stars: 9 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

agent

half144/cutaway

Your coding agent records a polished demo of what it just b…

Fail

Owner: half144 Language: JavaScript Stars: 6 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

mcp

with-pebbly/aseprite-ai-artist

Agent-native control layer for Aseprite. MCP server (2025-1…

Fail

Owner: with-pebbly Language: Lua Stars: 7 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

mcp

ParthJadhav/SpaceO

Give AI agents their own macOS displays. Keep your screen,…

Fail

Owner: ParthJadhav Language: Swift Stars: 5 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

agent

kmgcc/iOS-Trace

Agent Skill: closed-loop performance optimization for iOS &…

Fail

Owner: kmgcc Language: Python Stars: 8 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

agent

ArefMozafari/pr-evidence

Agent skill that makes every pull request show its change i…

Warn

Owner: ArefMozafari Language: - Stars: 8 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026