6 skills found
parcadei / Continuous-Claude-v3Context management for Claude Code. Hooks maintain state via ledgers and handoffs. MCP execution without context pollution. Agent orchestration with isolated context windows.
SpillwaveSolutions / project-memoryThis is a claude skill for tracking project state.
100yenadmin / boardstateYour dashboard is data. Any AI can build it; any human can edit it. A protocol + runtime for agent-composable dashboards — layout-as-data, one guarded control plane, sandboxed agent-authored widgets, MCP server included.
HabitaNexus / firebasePropTech platform for real estate management — built with Dart and Flutter
heytdep / formal-spec-extract-propertiesExtract properties from a formal spec (TLA+/Lean/ProVerif) into AutoSpec's structured format. Classifies each property with id, statement, essence, and type. Works on formal-spec output or any existing formal spec.
IT-Square-Plus / ArgusArgus - Brave Search MCP Server for Claude Code. Full-featured web, image, video & news search with AI-Saving Policy that intelligently routes requests between API plans. Features 6x context with extra snippets, real-time usage tracking, and stateless HTTP Streamable architecture.
