mcp

alphaparkinc/genpark-loop-invariant-induction-prover-skill

GenPark AI Agent Skill - Loop invariant inductiveness and t…

Uyari

Sahibi: alphaparkinc Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

Alpha-Park/genpark-loop-invariant-induction-prover-skill

GenPark AI Agent Skill - Loop invariant inductiveness and t…

Uyari

Sahibi: Alpha-Park Dil: Python Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

skill

girishr/SpecPilot

Spec-driven development (SDD) CLI for AI coding agents (Cla…

Basarisiz

Sahibi: girishr Dil: TypeScript Yildiz: 21 Puan: 0.0

Son senkron: 2 Ağu 2026 GitHub: 2 Ağu 2026

skill

commandoperator/cmdop-claude

Self-maintaining .claude/ runtime. Turns a static config fo…

Uyari

Sahibi: commandoperator Dil: Python Yildiz: 8 Puan: 0.0

Son senkron: 14 Tem 2026 GitHub: 14 Tem 2026

agent

galimba/agentic-memory-vault

Agent-first memory vault boilerplate. Clone, initialize, an…

Gecti

Sahibi: galimba Dil: Shell Yildiz: 10 Puan: 0.0

Son senkron: 7 Tem 2026 GitHub: 7 Tem 2026

mcp

initializ/forge

Forge - OpenClaw for Enterprise: Forge is a secure, portabl…

Gecti

Sahibi: initializ Dil: Go Yildiz: 12 Puan: 0.0

Son senkron: 4 Nis 2026 GitHub: 4 Nis 2026