Investors / Pragma Ventures
Pragma Ventures
Venture capital
Pragma Ventures is a Web3 research-oriented venture fund with offices in Portugal and South Korea, most of its team based in Seoul. It combines distributed systems and AI research expertise with industry experience to support projects in its portfolio, including research support, South Korean market exposure, and pre-TGE assistance.
Invests inFintechAI & Machine LearningCybersecurity
In its own wordsweb3distributed systemsaidefizero-knowledgebitcoin
Your fit with Pragma Ventures
Four questions about your startup
See how your round matches what it backs, point by point.
Or find every investor that fitsPragma Ventures lists 15 checked portfolio companies on its own site. Its largest themes are Fintech (39%), AI & Machine Learning (22%) and Cybersecurity (17%). 50% of its companies are based in United States. It invests most often alongside Andreessen Horowitz, Animoca Brands and Archetype.
No funding round on record names Pragma Ventures yet, so the figures come from its portfolio page.
Round figures show recent activity, not Pragma Ventures' whole history. Rounds on record name 0 companies; its own site lists 15. Funding rounds are complete from mid-2025, so counts and the yearly trend undercount a firm that invested before then. The portfolio, themes and places come from its own site and are not affected.
Investor profile
percentile among all firmsShow as a table
| Measure | Percentile of all firms | Value |
|---|---|---|
| Portfolio size | 39th | 15 companies |
| Recent activity | 46th | 0 rounds in 12 months |
| Early stage | 54th | 0% of entries at pre-seed or seed |
| Evidence | 52th | 0% of companies confirmed by a round |
| Sector focus | 72th | 39% in its largest sector |
| Reach | 58th | 3 countries |
Its portfolio companies
where they are based, and what their own sites showSite status
- Site answers1493%
- No longer answers00%
- Points to another company17%
- Parked or sold domain00%
A site that stops answering three checks in a row is counted as no longer answering; that is not proof of closure. A site that points to another company is often an acquisition.
Investment themes
share of its checked companiesThis firmAll checked companies
Show as a table
| This firm | All checked companies | |
|---|---|---|
| Fintech | 39% | 12% |
| AI & Machine Learning | 22% | 18% |
| Cybersecurity | 17% | 4% |
| Enterprise Software | 9% | 8% |
| Crypto & Web3 | 9% | 1% |
| Developer Tools | 4% | 0% |
Co-investor network
who it backs companies with, and who they back togetherAll co-investors or Compare portfolios with Andreessen Horowitz
Compare Pragma Ventures head to head
portfolio size, rounds, entry stages, themes and the companies both backThree or more firms at once: portfolio overlap.
Portfolio
15 companies checked against their own sites| Company | What it does | Themes | First round with it | Evidence |
|---|---|---|---|---|
| Avail provides a multi-chain protocol for builders and users to access and combine balances across different tokens and chains | FintechCrypto & Web3 | Portfolio page | ||
FintechEnterprise Software | Portfolio page | |||
| Bitlayer operates a multichain platform with various financial and cryptocurrency-related services. | FintechCrypto & Web3 | Portfolio page | ||
| D8X offers decentralized derivatives as a white-label product to DeFi and TradFi entities alike. | Fintech | Portfolio page | ||
| Portfolio page | ||||
| Exo connects your devices into a powerful cluster for local inference and model deployment. | AI & Machine LearningEnterprise Software | Portfolio page | ||
| The company operates a protocol for staking and redeeming cryptocurrency | Fintech | Portfolio page | ||
| Portfolio page | ||||
| Kintsu connects lending, vaults, staking, and market infrastructure through a programmable risk and private execution operating system | FintechDeveloper Tools | Portfolio page | ||
| MindNetwork develops a confidential payment infrastructure for the AI agent economy using fully homomorphic encryption | AI & Machine LearningCybersecurity | Portfolio page | ||
| OpenGradient powers high-performance verifiable computing for AI, hosting models, running secure inference, and deploying agents onchain. | AI & Machine LearningCybersecurity | Portfolio page | ||
| The company provides post-quantum infrastructure for enterprises | AI & Machine LearningCybersecurity | Portfolio page | ||
| Redbelly provides the infrastructure to issue, manage, and distribute regulated digital financial assets to a global investor base. | Fintech | Portfolio page | ||
| SubQuery provides data indexing, RPC, and AI infrastructure for blockchain data | AI & Machine LearningFintech | Portfolio page | ||
| TACEO adds cryptographic privacy to public blockchains, enabling private payments, identity verification, and finance via a single API. | FintechCybersecurity | Portfolio page |
About this data
site last read 5 Nov 2026- Site
- pragma.ooo
- Last read
- 5 Nov 2026
- Watching since
- 6 Nov 2026
- Companies checked
- 15
Rates come from what VCinfo has observed since observation_start. Firms tend to remove companies that closed, so early rates understate reality. A company leaving a portfolio page does not mean it closed or exited. An unreachable site means our checks failed, nothing more.
Get Pragma Ventures' profile as data
Pull Pragma Ventures' portfolio, co-investors and changes through one API key or MCP, open every portfolio row, compare it with other firms, and get an email when it adds a company or files a fund.
Work email, sign-in link by email. Already have an account? Log in- Ask AI5 plain-English investor searches a day
- Full listsEvery portfolio row and two-firm overlap
- API and MCP100 REST or MCP calls a month, one key
- AlertsFollow 5 investors for portfolio and fund changes
$ curl -H "X-API-Key: YOUR_KEY" \
https://api.vcinfo.io/v1/firms/pragma.ooo
# also
GET /v1/firms/pragma.ooo/portfolio
GET /v1/firms/pragma.ooo/coinvestors
GET /v1/firms/pragma.ooo/news