# CBirkbeck

> Open-source publisher. Listings imported from github.com/CBirkbeck — credited to the original author with their license.

- **Listings:** 1
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/cbirkbeck
- **Website:** https://github.com/CBirkbeck

## Published listings

- [Mathlib Quality](https://agentstack.voostack.com/l/skill-cbirkbeck-mathlib-quality-mathlib-quality) — Skill · Free · security-reviewed — `agentstack add skill-cbirkbeck-mathlib-quality-mathlib-quality`
  Mathlib code quality and style enforcement for Lean 4

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.