11 packages found
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs &
A Claude skill for rigorously solving math problems — equations, proofs, optimization, geometry, and more, with step-by-
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab
A simple Python sandbox for helpful LLM data agents
MCP server for Kali Linux penetration testing - 130 tools for AI-assisted security testing - Giving Agents access to ful
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 160,000+ scientists worldwide.
A high-performance Model Context Protocol (MCP) server for math-ing whilst vibing with LLMs. Leveraging Polars for opti
Your ai-powered everything assistant. Oboto is an AI assistant that runs on your computer and in the cloud. Oboto rememb
Official Implementation for the Paper [AgentArk: Distilling Multi-Agent Intelligence into a Single LLM Agent](https://ar
A curated collection of agents, skills, and settings that supercharge Claude Code. Drop them into their local Claude Cod
A minimal AI agent built from scratch — no agent framework, just Python, the OpenAI SDK, and a `while` loop. Accompanies