skill-latex-implementation
A hyperintensional theorem prover for rapidly prototyping modular semantic theories
Browse and install thousands of AI Agent skills in the Killer-Skills directory. Supports Claude Code, Windsurf, Cursor, and more.
A hyperintensional theorem prover for rapidly prototyping modular semantic theories
implementation-runner is a skill that automates code implementation by checking requirements, defining change scope, and recording changes in repository files.
Monorepo for SG Cars Trends backend services
implementation-runner is a skill that automates the implementation process for AI agents, using inputs like analysisContext and repo data to define and record changes
Detailed-implementation-plan is a skill that generates an actionable implementation plan from a plan-based-page output file, using fixed paths and supporting parallel session execution.
review-issue-implementation is a skill that assesses code changes against issue cards and ExecPlans, ensuring adherence to the DRY principle and best practices.
cqrs-implementation is a software design pattern that segregates an application into separate responsibilities for handling commands and queries
Wraps Blockscout APIs and exposes blockchain data by Model Context Protocol
Cursor Skills & SubAgents developed for developing AtlasMemory
This extension transforms the Gemini CLI into "Pickle Rick," a hyper-intelligent, arrogant, yet extremely competent engineering persona. It enforces a rigid, iterative software development lifecycle through continuous AI agent loops. Emphasizing "God Mode" coding practices and a disdain for
By using rapid-go you can quickly start developing a great API......
Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it lets you take what you've created and deploy fully hosted agents for real business purposes. Use Claude Code to get the agent working, then deploy it in your favorite cloud.