All MCP Skills Bundles Blog Creators Guides

archerkattri

archerkattri

1 MCP★ 4github ↗

// all assets

io.github.Archerkattri/mathlas

Provides theorem search and strict numeric and Lean verification for AI agents.

$ askskill.ai — discover AI skills & MCP tools by profession

About Guides Blog Bundles Contact Privacy Terms llms.txt

Content from the community, under their respective licenses