~ / leaderboard / mcp / pypi-plugin-root-skills-praxis

MCP server · #225

${plugin_root}/skills/praxis

1rigs use it

0%of all rigs

~2.5kest. schema tokens

Install

$ claude mcp add praxis-tools -- uv run --locked --project ${PLUGIN_ROOT}/skills/praxis python -m scripts.mcp_server

Most common configuration seen across rigs · project home ↗.

Often used together with

arxiv-mcp-server · 1

Rigs using ${plugin_root}/skills/praxis (1)

让 AI Agent 成为你的数学建模伙伴：技能加数学工具，从拆题、建模、独立验证到论文。An agent plugin for mathematical modeling: skills, math tools and two complete contest cases.

★ 1 project Codex 2 mcp 6 skills 1d ago

Pragmatist 5.9k tok ·

copied ✓