~ / rigs / WJSGZZ / praxis

WJSGZZ/praxis

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

↗ GitHub ★ 1 mit updated 1d ago project Codex
share on X
ARCHETYPE
Pragmatist
A balanced, no-drama setup: some rules, some tools, nothing extreme.
CONTEXT TAX · EVERY TURN
~5.9k tokens
Moderate · median rig: 2.3k · breakdown
GUARDRAILS
0/5
No committed guardrails · details

Copy this rig

# review before running: this installs third-party code
$ claude mcp add praxis-tools -- uv run --locked --project ${PLUGIN_ROOT}/skills/praxis python -m scripts.mcp_server
$ claude mcp add arxiv -- uvx arxiv-mcp-server==0.8.1 --storage-path ${PLUGIN_DATA}/arxiv-papers
$ npx degit WJSGZZ/praxis/skills ./rig-praxis/skills

MCP servers are added to Claude Code at local scope; env vars are shown as YOUR_… placeholders — we never store values. Files are fetched with degit into a separate folder so you can review before merging.

$ claude mcp add praxis-tools -- uv run --locked --project ${PLUGIN_ROOT}/skills/praxis python -m scripts.mcp_server
$ claude mcp add arxiv -- uvx arxiv-mcp-server==0.8.1 --storage-path ${PLUGIN_DATA}/arxiv-papers
$ npx degit WJSGZZ/praxis/skills/praxis-compute .claude/skills/praxis-compute
$ npx degit WJSGZZ/praxis/skills/praxis-dialogue .claude/skills/praxis-dialogue
$ npx degit WJSGZZ/praxis/skills/praxis-explore .claude/skills/praxis-explore
$ npx degit WJSGZZ/praxis/skills/praxis-model .claude/skills/praxis-model
$ npx degit WJSGZZ/praxis/skills/praxis-report .claude/skills/praxis-report
$ npx degit WJSGZZ/praxis/skills/praxis-verify .claude/skills/praxis-verify

This rig commits no guardrails. Here is the community baseline instead — the deny/ask rules most often found across all 7,204 rigs:

{
  "permissions": {
    "deny": [
      "Read(./.env)",
      "Read(**/.env)",
      "Read(~/.ssh/**)",
      "Bash(rm -rf *)",
      "Read(**/*.pem)",
      "Bash(rm -rf /)",
      "Bash(git push --force:*)",
      "Bash(sudo *)",
      "Read(.env)",
      "Bash(rm -rf /*)",
      "Read(./.env.*)",
      "Read(~/.aws/**)",
      "Bash(git push --force*)",
      "Bash(rm -rf:*)",
      "Read(**/*.key)",
      "Read(**/.env.*)",
      "Bash(sudo:*)",
      "Bash(git reset --hard*)",
      "Bash(git reset --hard:*)",
      "Read(.env.*)"
    ],
    "ask": [
      "Bash(git push:*)",
      "Bash(git push *)",
      "Bash(git commit:*)",
      "Bash(rm *)",
      "Bash(rm:*)",
      "Bash(git rebase *)",
      "Bash(wget *)",
      "Bash(npm publish:*)",
      "Bash(git commit *)",
      "Bash(gh pr merge *)"
    ]
  }
}

MCP servers (2)

serversourceest. tokens
${plugin_root}/skills/praxis · "praxis-tools" pypi 2.5k
arxiv-mcp-server · "arxiv" pypi 2.5k

Skills (6)

Similar rigs

copied ✓