Introspectum

Introspectum

AI writes code faster than anyone can review it

We build software that is checked instead of trusted: traced from requirement to code, proven where it matters, & open to the people who answer for it.

The Software Factory lets AI write the function bodies & checks each one against a specification people approved. A failed proof goes back to the model until it passes; then you get a certificate for the audit.

AI writes code faster than anyone can review it

AI writes code faster than anyone can review it

<sonar>{distrust, number, ::percent} of developers do not fully trust AI-generated code, & only {verify, number, ::percent} always check it before they commit.</sonar>

Review is harder, too: <sonar>{effort, number, ::percent} say that AI-generated code takes more effort to review than code written by their colleagues.</sonar>

Customers, sales & accounting in one system, on your own server

The ERP & CRM keeps all your data, HR included, in open formats. Its AI assistant reads the books but can never post to them.

See the product

How it tests a strategy

Trend-following strategies on many stocks, tested on paper before anyone trusts them. Research, not investment advice.

Many stocks at once

The <turtle>Turtle rules</turtle> & other trend-following strategies run on every stock.

A time scale per stock

Reinforcement learning tunes each stock to the time scale where its signals hold best.

Rebuilt from a prototype

What a first prototype taught us shapes the rebuild.

Read the research

Who we are

Introspectum Limited is registered in the Isle of Man & led by Fabian Klopfer, a computer scientist who worked on database engines with codebases of 10 to 20 million lines at IBM Germany Research & Development.

Read about us

Measured, not promised