MCP server
Symbola
io.github.spikinglabs/symbola
Checked 28 Oct 2026, 09:03 UTC · Connected to it and listed its tools
Search software packs on symbola.sh, read their decisions, and get steps to build them.
Working at last checkAbout 832 tokens per request once connected5 tools
https://symbola.sh/mcp
At a glance
- Type
- MCP server
- Publisher
- Not verified
- Status
- Working at last check
- Tools
- 5
- Token cost
- About 832 tokens per request
- Sets up in
- Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok
- Last checked
- 28 Oct 2026, 09:03 UTC
Connect it to your agent
Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.
Claude Code
claude mcp add --transport http symbola https://symbola.sh/mcp
Claude Desktop
Settings → Connectors → Add custom connector, and paste the URL.
Codex (config.toml)
[mcp_servers.symbola] url = "https://symbola.sh/mcp"
Gemini CLI
{"mcpServers":{"symbola":{"httpUrl":"https://symbola.sh/mcp"}}}
Cursor
{"mcpServers":{"symbola":{"url":"https://symbola.sh/mcp"}}}
VS Code
{"servers":{"symbola":{"type":"http","url":"https://symbola.sh/mcp"}}}
Antigravity
agy mcp add symbola https://symbola.sh/mcp
ChatGPT
Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.
OpenAI API (Responses tools)
{"type":"mcp","server_label":"symbola","server_url":"https://symbola.sh/mcp","require_approval":"always"}
Grok (xAI API tools)
{"type":"mcp","server_label":"symbola","server_url":"https://symbola.sh/mcp"}
Tools
get_build_steps~166 tokens
How to build a pack: the steps a coding agent with a shell follows (install the symbola CLI, pull the pack, build each component and run its checks), and a one-line request the user can paste into Claude Code or another coding agent.get_pack~108 tokens
Overview of one pack: what it builds, its version, how many decisions it holds, its components, its page and download link, and the files it holds.read_decisions~212 tokens
The decisions a pack makes: each one a rule a builder could get wrong, with its status (decided, default or open). Narrow them to one component or to decisions mentioning some words.read_pack_file~163 tokens
Read one file of a pack, e.g. PRODUCT.md (the whole product), AGENTS.md (how to build it), BRIEF.md, obligations.toml, an assumption, or a component's symbolon.toml or examples.jsonl. "pack.md" is the whole pack as one Markdown page.search_packs~183 tokens
Search the Symbola registry for packs: software a coding agent can build from its decisions. Matches words against each pack's name, summary, id and category. With no query, lists every pack.
Browse
Related MCP servers
- 100Hires - AI ATS & Recruitment Software
Official 100Hires MCP: AI ATS & Recruitment Software for candidates, jobs, applications, interviews. - AINumbers Fintech Intelligence Suite
754 MCP tools across 1222 fintech tools: ChainGraph AP2 decisions, execution_hash. Zero PII. - sebbi.pro - the proof layer for AI
Prove AI decisions in Bitcoin: 755 compliance checks, bank fraud proof, AI payment checks. Free. - All4Clinic
Help guides, plans and demo booking for All4Clinic, the clinic management software used in Brazil - Publish.fun
AI-native research journal: submit papers for AI peer review, track decisions, revise, and cite. - Bot Recipes
Search and read 263 real AI bot setups: steps, what worked, what failed. Full pack $7. - Scout Packs
B2B data for AI agents: lead lookup, deliverability scoring, domain intel. x402 $0.01-$0.03/call. - Yardstick ATS
Manage hiring in Yardstick's ATS: jobs, candidates, applications, interviews, and scorecards.
Badge for your README
[](https://aptlynx.net/servers/io.github.spikinglabs/symbola)
Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents