Proof · technology

Technologies we use across real-world projects

The programming languages, frameworks, databases, and platforms our engineering teams use every day to build, modernize, and operate enterprise systems for clients in Japan.

DevOps / Infrastructure

Docker

Kubernetes

Amazon ECS

Helm

Kustomize

Terraform / OpenTofu

Pulumi

AWS CDK

GitHub Actions

GitLab CI/CD

Jenkins

Argo CD

Flux CD

OpenTelemetry

Prometheus

Grafana

Loki

ELK / OpenSearch

Datadog

New Relic

Nginx

Apache Kafka

RabbitMQ

API Gateway

Microservices

Event-driven Architecture

Serverless

Cloud-native

Modular Monolith

DevOps

DevSecOps

SRE

Platform Engineering

Front-end

React.js

Next.js

Vue.js

Nuxt.js

Angular

TypeScript

Vite

Back-end

Spring Boot

Spring Cloud

NestJS

Express.js

Fastify

Laravel

FastAPI

Django

ASP.NET Core

Gin

Fiber

Python

Javascript

Java

PHP

Spring

Ruby on Rails

CakePHP

Mobile App

Flutter

React Native

Kotlin

Jetpack Compose

Swift

SwiftUI

Kotlin Multiplatform

Database & Search

PostgreSQL

MySQL

SQL Server

Oracle Database

MongoDB

Redis

Firestore

DynamoDB

Elasticsearch / OpenSearch

Cloud & Hosting

AWS

Microsoft Azure

Google Cloud

Oracle Cloud

Alibaba Cloud

Cloudflare

Firebase

Vercel

Data Engineering

AWS Kinesis

Snowplow

Apache Airflow

dbt

AWS Glue

Apache Spark

Databricks

Amazon S3

Google Cloud Storage

BigQuery

Snowflake

Amazon Redshift

Enterprise System

Salesforce

Java/Spring Enterprise Systems

Construction Management Systems

Inspection Systems

BIM-related Systems

Shopify

Adobe Commerce (Magento)

Headless Commerce

Drupal

WordPress

Headless CMS

Quality Assurance / Testing

Playwright

Cypress

Selenium

Appium

Maestro

Detox

JUnit

pytest

Jest

Vitest

NUnit

Postman

Bruno

REST Assured

Playwright API Testing

JMeter

Gatling

OWASP ZAP

Snyk

Dependency Scanning

SonarQube

ESLint

SpotBugs

TestRail

Jira / Xray

Qase

BrowserStack

Sauce Labs

LambdaTest

Shift-left Testing

Risk-based Testing

Continuous Testing

AI-assisted Testing

AI / Generative AI

Anthropic Claude

OpenAI

Google Gemini

AWS Bedrock

Azure AI Foundry

Google Vertex AI

Claude Agent SDK

OpenAI Agents SDK

LangGraph

Google ADK

Pydantic AI

Model Context Protocol (MCP)

REST API

Function Calling

API Integration

pgvector

Qdrant

Pinecone

Weaviate

Milvus

n8n

Dify

Flowise

Langfuse

LangSmith

Arize Phoenix

Braintrust

Guardrails

Prompt Security

Tool Permission Control

Human-in-the-loop

Ollama

vLLM

Hugging Face

Llama

Qwen

scikit-learn

PyTorch

TensorFlow

XGBoost

AI-assisted Software Development

Claude Code

GitHub Copilot

Cursor

Gemini Code Assist

AI Code Review

AI-assisted Test Generation

AI-assisted Documentation

AI-assisted Legacy Migration

AI Development Workflow with MCP

Legacy Modernization

COBOL

ASP.NET / .NET Framework

Java Legacy Systems

JSP / Servlet / Struts

Mainframe Integration

Application Modernization

Cloud Migration

Legacy System Analysis & Migration

Project / Collaboration

Jira

Redmine

Backlog

GitHub Projects

Confluence

Notion

SharePoint

GitHub Wiki

GitLab Wiki

GitHub

GitLab

Bitbucket

Pull Request / Merge Request

Slack

Microsoft Teams

Zoom

Figma

FigJam

ラボ

ラボ型開発 (Lab-type Development)

準委

準委任 (Quasi-mandate Contract)

請負

請負 (Contract for Work)

Agile / Scrum

Kanban

Scrumban

Waterfall

CMMI-based Process Improvement

PPQA

Secure SDLC

ISO/IEC 27001:2022

OWASP

SAST

DAST

SCA

Vulnerability Management

Working with one of these?

Tell us about your stack - we'll match engineers who already know it.