La-SilverLand/agent_skills
Recently updated agent/AI repository: La-SilverLand/agent_skills
Source: https://github.com/La-SilverLand/agent_skills
Discovered during the daily awesomeskills.dev agent-skill hunt.
Recently updated agent/AI repository: La-SilverLand/agent_skills
npx skills add La-SilverLand/agent_skillsRecently updated agent/AI repository: La-SilverLand/agent_skills
Source: https://github.com/La-SilverLand/agent_skills
Discovered during the daily awesomeskills.dev agent-skill hunt.
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
RFC v0.2 + implementación de referencia para publicar Agent Skills a través de llms.txt. Incluye parser, validador, schema JSON y skills de ejemplo.
Troubleshoot production issues using backend function logs. Use when investigating app errors, debugging function calls, or diagnosing production problems in Base44 apps.
Security scanner for AI agent skills and MCP servers. Detects secrets, CVEs, supply chain attacks, and prompt injection in SKILL.md files before they're installed. Pre-install gate for Claude Code, OpenClaw, PicoClaw, NanoBot, FamClaw, and CI/CD pipelines. Single Go binary, MIT licensed.
Automate Visme tasks via Rube MCP (Composio). Always search tools first for current schemas.
Claude skills I use