mcp

alphaparkinc/genpark-reasoning-formal-symbolic-proof-checker-skill

GenPark Reasoning Formal Symbolic Proof Checker - Zero-depe…

Fail

Owner: alphaparkinc Language: Python Stars: 7 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

mcp

Alpha-Park/genpark-reasoning-formal-symbolic-proof-checker-skill

GenPark Reasoning Formal Symbolic Proof Checker - Zero-depe…

Fail

Owner: Alpha-Park Language: Python Stars: 7 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

agent

vburojevic/hermes

A native iPhone, iPad and Mac app for the Hermes Agent you…

Fail

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

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

mcp

KevinChu1110/driftnet

Drop AI tool links into any chat (LINE, Slack, Discord, Tel…

Fail

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

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

mcp

Alpha-Park/genpark-reasoning-majority-voting-consensus-engine-skill

GenPark Reasoning Majority Voting Consensus Engine - Implem…

Warn

Owner: Alpha-Park Language: Python Stars: 7 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

agent

ozaysahin/screenshot-to-qml

Screenshot or HTML → native Qt Quick/QML app, verified pixe…

Fail

Owner: ozaysahin Language: HTML Stars: 7 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

mcp

jkelleman/semantic-metrics-modeling-assistant

MCP agent for semantic metrics governance with built-in tru…

Warn

Owner: jkelleman Language: Python Stars: 5 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

skill

FTCHD/switcheroo

Switch your login/profile/account for 10+ CLIs, including C…

Fail

Owner: FTCHD Language: Rust Stars: 10 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

skill

Raphael-noah/from-safari-to-api

Turn Safari web chats (DeepSeek, etc.) into a local OpenAI/…

Warn

Owner: Raphael-noah Language: Python Stars: 9 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

agent

wattetheria/wattetheria

Agent Internet Protocol Stack

Fail

Owner: wattetheria Language: Rust Stars: 5 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

agent

watermelon588/Tripverse

AI travel planner: chat to draft an itinerary, build it day…

Warn

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

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026

mcp

amirhosseinkz/plane-workflow-mcp

MCP server for Plane, including self-hosted. Claude Code, C…

Warn

Owner: amirhosseinkz Language: Python Stars: 5 Rating: 0.0

Last sync: Oct 28, 2026 GitHub: Oct 28, 2026