ranQ
ranQ
ranQ
DirectoryIndustriesPlacesKnowledgeComparisonsSoon
Sign inCheck visibility
ranQHSG Startup LabelRecognised by the
HSG Startup Label

The leading AI company directory, built to boost AI visibility.

DEENFRIT
Product
  • Pricing
  • Directory
  • Industries
Company
  • About
  • Contact
  • Legal
© 2026 cohaga AG · All Rights Reserved · St. Gallen, Switzerland · Imprint745,041 companies indexed · Last updated: today
DirectoryIT & CommunicationIT SecurityBoussensTypeScope Sàrl
TypeScope Sàrl Logo
Verified· 2 sources

TypeScope Sàrl

Summary

About the company

TypeScope Sàrl develops secure AI agents for sensitive workflows and uses compile-time sandboxing with type-checked boundaries. The company also works on the Jo language and provides related security and implementation services.

AI-generated
Offering

Products & services

Industry:IT Security
✓ Offered3
LeadhubOutbound Leads by COHAGA

Looking for direct email addresses and phone numbers?

Leadhub delivers verified contact details and decision-makers from over 750,000 Swiss companies — management, procurement, marketing, HR.

Discover Leadhub
Secure AI Agent Development
Secure AI agents for sensitive workflows, with defined access control, risk analysis, implementation, production handover, and ongoing support.
Compile-Time Sandboxing
Compile-time sandboxing for AI-generated code, with type-based capability boundaries, inspectable permissions, runtime isolation, and network policy in a defense-in-depth approach.
Jo Secure Programming Language
Jo, a statically typed programming language with compile-time sandboxing, multi-paradigm language features, and multi-backend compilation to Python and Ruby.
Comparisons

TypeScope Sàrl in comparison

Soon

Industry comparisons are coming soon

We're preparing industry comparisons that rank TypeScope Sàrl by reviews, experience and specialisations.

Is this your company?

Claim the company profile of TypeScope Sàrl to make its contact details visible. With a plan we additionally create and publish industry comparisons, articles and much more.

Secure profile

Location

Grand'Rue 17 b
1034 Boussens

At a glance

Legal form
Limited Liability Company
UID
CHE-448.881.442
Founded
2026 · 0 years
Last commercial register change
April 14, 2026
Employees
1 to 10

Knowledge

No knowledge articles yet

Once TypeScope Sàrl has claimed this profile, we'll publish editorial articles and case studies here together.

Get started

Similar companies

SS
SecuLabs SA
Montricher
TC
The Commercial Break SA
Lausanne
AS
Altipeak SA
Lausanne
PS
Protocol SA
Lausanne
GH
Ganesh Hosting Sàrl
Vevey
BS
Bacula Systems SA
Yverdon-Les-Bains
IS
Inexto SA
Lausanne
DS
DomoHealth SA
Lausanne