270 packages found
Render math legibly in the Claude Code terminal: Unicode glyphs instead of unrenderable LaTeX
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab
A high-performance Model Context Protocol (MCP) server for math-ing whilst vibing with LLMs. Leveraging Polars for opti
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
数学建模竞赛完整工具链：从拿到赛题到交出论文，一条龙解决。 覆盖 国赛 CUMCM（A/B/C） 和 美赛 MCM/ICM（A-F） 全部题型。
@clouatre-labsEducational MCP server with math operations, matrix algebra, data visualization, and persistent workspace
It is a comprehensive resource hub compiling all LLM papers accepted at the International Conference on Learning Represe
A Claude skill for rigorously solving math problems — equations, proofs, optimization, geometry, and more, with step-by-
UpMath MCP server for Claude Code - LaTeX/TikZ rendering via i.upmath.me API
63 deterministic quant computation tools for autonomous financial agents. Options, derivatives, risk, portfolio, statist
A comprehensive Model Context Protocol (MCP) server that turns any AI assistant into a powerful mathematical computation
A comprehensive Go-based MCP server for mathematical computations with 13+ tools
Private on-device AI suite for Android. Fork of Google AI Edge Gallery with llama.cpp, whisper.cpp, stable-diffusion.cpp
Official Implementation of Dynamic LLM-Agent Network: An LLM-agent Collaboration Framework with Agent Team Optimization
The RL Bridge for LLM-based Agent Applications. Made Simple & Flexible.
Official Implementation for the Paper [AgentArk: Distilling Multi-Agent Intelligence into a Single LLM Agent](https://ar
Time estimation MCP server for AI agents: PERT, COCOMO II, Monte Carlo, sprint forecasting, token-to-time mapping, cost
Markdown to PDF converter with Mermaid diagrams, LaTeX math, themes, and batch conversion. CLI + WASM.
Comprehensive paid advertising audit & optimization skill for Claude Code. 250+ checks across Google, Meta, YouTube, Lin
Awesome LLM Papers and repos on very comprehensive topics.
AI-ready Solidity style guide for Solidity 0.8.30 — naming, layout, NatSpec, custom errors, ERC-7201 storage, transient
This repository demonstrates how to use AutoGen to integrate local and remote MCP (Model Context Protocol) servers. It s
MCP server for querying CKAN open data portals (package search, DataStore SQL, organizations, groups, tags)
Windows computer-use MCP server: drive any desktop app via semantic discover-then-act targeting (entities + leases, not
SigRank MCP — the yield cascade + live leaderboard as MCP tools any agent can call. On-device token scanner + tabbed TUI
Inline review tool for MDXG markdown — capture highlighted comments and export them as structured JSON for LLM agents.
A repo lists papers related to LLM based agent
An MCP server of local, defensive SecOps helpers: IOC extraction, defang/refang, hashing, password entropy, CIDR math, r
Verified business-day math for AI agents: holidays + per-country weekends, not guesses.
Standalone MCP server — cross-session memory, 10-gate VERITAS build pipeline, cryptographic audit ledger, Cortex approva
A comprehensive Model Context Protocol (MCP) server that provides access to over 100 IT tools and utilities commonly use
One place to manage & connect to all your MCP servers
Claude Code plugin: multi-agent orchestrator with 10 specialist agents for academic writing review, research, drafting,
Leaked GPTs Prompts Bypass the 25 message limit or to try out GPTs without a Plus subscription.
One FastMCP server, one port — expose each tool group at its own native MCP URL, so every agent sees only the tools it n
Claude Chat Exporter is a JavaScript tool that allows you to export your conversations with Claude AI into a well-format
A Model Context Protocol (MCP) server that provides access to multiple Large Language Model (LLM) APIs including ChatGPT
Own your AI video pipeline. LTX-2.3 (22B) self-hosted on your Modal GPU via a Claude Code skill — t2v, i2v, keyframes, v
@microsoft✓ OfficialA performant markdown library for iOS that supports streaming
Practical Agent Skills for Codex, Claude Code, Cursor, and compatible coding agents, focused on reusable workflows, skil
Your ai-powered everything assistant. Oboto is an AI assistant that runs on your computer and in the cloud. Oboto rememb
Asset Factory — 42 SOP tools from idea to validated revenue. Market research, buyer personas, offer design, landing page
XTapDown MCP Server — 14 X (Twitter) creator tools for Claude, ChatGPT, Gemini and any MCP client
@WhatsonyourmindDeterministic decision-intelligence MCP server for AI agents — 17 tools, 21 algorithms (LinUCB, HiGHS LP/MIP, PageRank,
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs &
AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code