CharlesCNorton/tiling-verified
Formalizing parametric Löbian obstacle bypass.
Formalizing parametric Löbian obstacle bypass.
npx skills add CharlesCNorton/tiling-verifiedFormalizing parametric Löbian obstacle bypass.
EU AI Act compliance: scan, attest, document — from your IDE. Scanner catches code-verifiable violations, AI collects evidence for hybrid obligations, Human Gates capture pure attestations. Source-available (BSL 1.1), MCP-native, audit trail included.
Agents should execute whenever possible — open registry of reusable AI agent skills and capability definitions
📝 Streamline Markdown integration with your applications using MarkItDown's versatile tools and MCP server for seamless LLM compatibility.
A Claude Code skill that enforces structured, self-reviewing implementation workflows. Contract first, code second.
个人在用的 AI agent skills 集合
Recently updated agent-skill-related GitHub repository: clockless-org/html-anything.