# Archerkattri

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

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

## Published listings

- [Mathlas](https://agentstack.voostack.com/l/mcp-archerkattri-mathlas) — MCP server · Free — `agentstack add mcp-archerkattri-mathlas`
  Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

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