AGENT SKILL
conversion-tools-automation
Automate Conversion Tools tasks via Rube MCP (Composio). Always search tools first for current schemas.
使用场景Skill与智能体开发
- License 许可
- MIT
- 最近更新
- 2026-06-24
- Stars
- ★ 67
- Forks
- 24
01 前言 Front Matter
- name
- conversion-tools-automation
- requires
- { "mcp": [ "rube" ] }
- description
- Automate Conversion Tools tasks via Rube MCP (Composio). Always search tools first for current schemas.
02 资源文件 118
- 其他.gitignore753 B
- 其他.npmignore352 B
- 其他bin/leanstral6.2 MB
- 其他Cargo.lock46.0 KB
- 其他Cargo.toml307 B
- 参考文档claude.md6.8 KB
- 其他crates/qedgen/Cargo.toml544 B
- 参考文档crates/qedgen/lean_support/lake-manifest.json119 B
- 其他crates/qedgen/lean_support/lakefile.lean112 B
- 其他crates/qedgen/lean_support/lean-toolchain25 B
- 其他crates/qedgen/lean_support/QEDGen.lean166 B
- 其他crates/qedgen/lean_support/QEDGen/Solana.lean166 B
- 其他crates/qedgen/lean_support/QEDGen/Solana/Account.lean4.0 KB
- 其他crates/qedgen/lean_support/QEDGen/Solana/Authority.lean285 B
- 其他crates/qedgen/lean_support/QEDGen/Solana/Cpi.lean3.3 KB
- 其他crates/qedgen/lean_support/QEDGen/Solana/State.lean1.9 KB
- 其他crates/qedgen/lean_support/QEDGen/Solana/Token.lean1.4 KB
- 其他crates/qedgen/lean_support/QEDGen/Solana/Valid.lean2.0 KB
- 参考文档crates/qedgen/lean_support/README.md2.8 KB
- 其他crates/qedgen/lean_support/test_lemmas.lean1.2 KB
- 脚本crates/qedgen/src/api.rs32.3 KB
- 脚本crates/qedgen/src/consolidate.rs6.9 KB
- 脚本crates/qedgen/src/main.rs4.1 KB
- 脚本crates/qedgen/src/project.rs3.1 KB
- 脚本crates/qedgen/src/spec.rs19.3 KB
- 脚本crates/qedgen/src/validate.rs5.6 KB
- 其他crates/qedgen/templates/.gitignore29 B
- 其他crates/qedgen/templates/lakefile.lean293 B
- 其他crates/qedgen/templates/lean-toolchain25 B
- 其他crates/qedgen/templates/Main.lean154 B
- 参考文档crates/qedgen/templates/PROMPT_TEMPLATE.md3.2 KB
- 参考文档crates/qedgen/templates/README.lean.md1.6 KB
- 其他docs/CNAME10 B
- 参考文档docs/index.html10.9 KB
- 参考文档docs/llms-full.txt8.7 KB
- 参考文档docs/llms.txt2.1 KB
- 资产文件docs/logo-dark.png15.1 KB
- 资产文件docs/logo-dark.svg648 B
- 资产文件docs/logo-light.png15.1 KB
- 资产文件docs/logo-light.svg648 B
- 资产文件docs/logo.png149.5 KB
- 资产文件docs/og.png38.2 KB
- 其他docs/style.css7.6 KB
- 其他example/escrow/.gitignore67 B
- 其他example/escrow/.prettierignore61 B
- 其他example/escrow/Anchor.toml353 B
- 其他example/escrow/Cargo.lock72.8 KB
- 其他example/escrow/Cargo.toml215 B
- 其他example/escrow/formal_verification/.gitignore87 B
- 其他example/escrow/formal_verification/EscrowProofs.lean8.6 KB
- 其他example/escrow/formal_verification/lakefile.lean264 B
- 其他example/escrow/formal_verification/lean_support/lakefile.lean112 B
- 其他example/escrow/formal_verification/lean_support/lean-toolchain25 B
- 其他example/escrow/formal_verification/lean_support/QEDGen.lean166 B
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana.lean166 B
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana/Account.lean4.0 KB
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana/Authority.lean285 B
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana/Cpi.lean3.3 KB
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana/State.lean1.9 KB
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana/Token.lean1.4 KB
- 其他example/escrow/formal_verification/lean_support/QEDGen/Solana/Valid.lean2.0 KB
- 其他example/escrow/formal_verification/lean-toolchain25 B
- 参考文档example/escrow/formal_verification/README.md675 B
- 参考文档example/escrow/formal_verification/SPEC.md6.5 KB
- 参考文档example/escrow/formal_verification/VERIFICATION_SCOPE.md4.9 KB
- 脚本example/escrow/migrations/deploy.ts428 B
- 参考文档example/escrow/package.json528 B
- 其他example/escrow/programs/escrow/Cargo.toml376 B
- 脚本example/escrow/programs/escrow/src/lib.rs6.7 KB
- 其他example/escrow/programs/escrow/Xargo.toml62 B
- 脚本example/escrow/tests/escrow.ts8.6 KB
- 参考文档example/escrow/tsconfig.json205 B
- 其他example/percolator/.cargo/config.toml33 B
- 其他example/percolator/.gitignore320 B
- 其他example/percolator/Cargo.lock8.5 KB
- 其他example/percolator/Cargo.toml639 B
- 脚本example/percolator/examples/offsets.rs1.3 KB
- 参考文档example/percolator/formal_verification/lake-manifest.json3.2 KB
- 其他example/percolator/formal_verification/lakefile.lean282 B
- 其他example/percolator/formal_verification/lean_support/lakefile.lean112 B
- 其他example/percolator/formal_verification/lean_support/lean-toolchain25 B
- 其他example/percolator/formal_verification/lean_support/QEDGen.lean166 B
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana.lean166 B
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana/Account.lean4.0 KB
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana/Authority.lean285 B
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana/Cpi.lean3.3 KB
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana/State.lean1.9 KB
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana/Token.lean1.4 KB
- 其他example/percolator/formal_verification/lean_support/QEDGen/Solana/Valid.lean2.0 KB
- 其他example/percolator/formal_verification/lean-toolchain25 B
- 其他example/percolator/formal_verification/PercolatorProofs.lean7.6 KB
- 参考文档example/percolator/formal_verification/SPEC.md4.6 KB
- 许可证example/percolator/LICENSE11.1 KB
- 参考文档example/percolator/README.md4.9 KB
- 参考文档example/percolator/scripts/audit-proof-strength.md6.4 KB
- 参考文档example/percolator/scripts/proof-strength-audit-results.md89.2 KB
- 脚本example/percolator/scripts/run_kani_full_audit.sh1.2 KB
- 参考文档example/percolator/spec.md108.4 KB
- 脚本example/percolator/src/i128.rs20.4 KB
- 脚本example/percolator/src/percolator.rs139.2 KB
- 脚本example/percolator/src/wide_math.rs59.8 KB
- 脚本example/percolator/tests/amm_tests.rs7.4 KB
- 脚本example/percolator/tests/common/mod.rs4.7 KB
- 其他example/percolator/tests/fuzzing.proptest-regressions4.7 KB
- 脚本example/percolator/tests/fuzzing.rs43.1 KB
- 脚本example/percolator/tests/proofs_arithmetic.rs17.1 KB
- 脚本example/percolator/tests/proofs_audit.rs35.0 KB
- 脚本example/percolator/tests/proofs_instructions.rs64.8 KB
- 脚本example/percolator/tests/proofs_invariants.rs21.0 KB
- 脚本example/percolator/tests/proofs_lazy_ak.rs22.4 KB
- 脚本example/percolator/tests/proofs_liveness.rs17.1 KB
- 脚本example/percolator/tests/proofs_safety.rs104.2 KB
- 脚本example/percolator/tests/proofs_v1131.rs25.4 KB
- 脚本example/percolator/tests/unit_tests.rs93.8 KB
- 脚本install.sh4.9 KB
- 许可证LICENSE1.0 KB
- 参考文档package.json1.1 KB
- 参考文档README.md3.7 KB
03 SKILL.md 正文
Conversion Tools Automation via Rube MCP
Automate Conversion Tools operations through Composio's Conversion Tools toolkit via Rube MCP.
Toolkit docs: composio.dev/toolkits/conversion_tools
Prerequisites
- Rube MCP must be connected (RUBE_SEARCH_TOOLS available)
- Active Conversion Tools connection via
RUBE_MANAGE_CONNECTIONSwith toolkitconversion_tools - Always call
RUBE_SEARCH_TOOLSfirst to get current tool schemas
Setup
Get Rube MCP: Add https://rube.app/mcp as an MCP server in your client configuration. No API keys needed — just add the endpoint and it works.
- Verify Rube MCP is available by confirming
RUBE_SEARCH_TOOLSresponds - Call
RUBE_MANAGE_CONNECTIONSwith toolkitconversion_tools - If connection is not ACTIVE, follow the returned auth link to complete setup
- Confirm connection status shows ACTIVE before running any workflows
Tool Discovery
Always discover available tools before executing workflows:
RUBE_SEARCH_TOOLS
queries: [{use_case: "Conversion Tools operations", known_fields: ""}]
session: {generate_id: true}
This returns available tool slugs, input schemas, recommended execution plans, and known pitfalls.
Core Workflow Pattern
Step 1: Discover Available Tools
RUBE_SEARCH_TOOLS
queries: [{use_case: "your specific Conversion Tools task"}]
session: {id: "existing_session_id"}
Step 2: Check Connection
RUBE_MANAGE_CONNECTIONS
toolkits: ["conversion_tools"]
session_id: "your_session_id"
Step 3: Execute Tools
RUBE_MULTI_EXECUTE_TOOL
tools: [{
tool_slug: "TOOL_SLUG_FROM_SEARCH",
arguments: {/* schema-compliant args from search results */}
}]
memory: {}
session_id: "your_session_id"
Known Pitfalls
- Always search first: Tool schemas change. Never hardcode tool slugs or arguments without calling
RUBE_SEARCH_TOOLS - Check connection: Verify
RUBE_MANAGE_CONNECTIONSshows ACTIVE status before executing tools - Schema compliance: Use exact field names and types from the search results
- Memory parameter: Always include
memoryinRUBE_MULTI_EXECUTE_TOOLcalls, even if empty ({}) - Session reuse: Reuse session IDs within a workflow. Generate new ones for new workflows
- Pagination: Check responses for pagination tokens and continue fetching until complete
Quick Reference
| Operation | Approach |
|---|---|
| Find tools | RUBE_SEARCH_TOOLS with Conversion Tools-specific use case |
| Connect | RUBE_MANAGE_CONNECTIONS with toolkit conversion_tools |
| Execute | RUBE_MULTI_EXECUTE_TOOL with discovered tool slugs |
| Bulk ops | RUBE_REMOTE_WORKBENCH with run_composio_tool() |
| Full schema | RUBE_GET_TOOL_SCHEMAS for tools with schemaRef |
Powered by Composio