268 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) 全部题型。
Educational 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.
Awesome LLM Papers and repos on very comprehensive topics.
Comprehensive paid advertising audit & optimization skill for Claude Code. 250+ checks across Google, Meta, YouTube, Lin
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
A repo lists papers related to LLM based agent
Inline review tool for MDXG markdown — capture highlighted comments and export them as structured JSON for LLM agents.
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
A performant markdown library for iOS that supports streaming
Own your AI video pipeline. LTX-2.3 (22B) self-hosted on your Modal GPU via a Claude Code skill — t2v, i2v, keyframes, v
Your ai-powered everything assistant. Oboto is an AI assistant that runs on your computer and in the cloud. Oboto rememb
Practical Agent Skills for Codex, Claude Code, Cursor, and compatible coding agents, focused on reusable workflows, skil
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
Deterministic 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