Mike

Mike

Kanerika
Splint

Splint

University of Virginia
+
+

Related Products

  • Expedience Software
    34 Ratings
    Visit Website
  • ContractSafe
    321 Ratings
    Visit Website
  • Docmosis
    51 Ratings
    Visit Website
  • ARGOS Identity
    8 Ratings
    Visit Website
  • Dynamo Software
    71 Ratings
    Visit Website
  • Titan
    376 Ratings
    Visit Website
  • Paligo
    104 Ratings
    Visit Website
  • Concord
    237 Ratings
    Visit Website
  • LogicalDOC
    150 Ratings
    Visit Website
  • MobiPDF
    7,811 Ratings
    Visit Website

About

Mike is an AI agent from Kanerika that proofreads the numbers in business documents. Upload a PDF and Mike checks table arithmetic, chart alignment, and consistency of figures and terms across sections of the same document. Each flagged issue comes back by email in a categorized report (tables, charts, document-wide) with visual references and a plain-language explanation. Documents are processed without being stored. The free version handles PDFs up to 10 pages. Mike Pro removes the page limit and adds unlimited proofreading, 10x faster processing, and personalized assistance. Mike checks arithmetic and internal consistency within a document. It does not validate figures against external data sources.

About

Splint is developed and maintained by the Secure Programming Group at the University of Virginia Department of Computer Science. David Evans is the project leader and the primary developer of Splint. David Larochelle developed the memory bounds checking. University of Virginia students Chris Barker, David Friedman, Mike Lanouette and Hien Phan all contributed significantly to the development of Splint. Splint is the successor to LCLint, a tool originally developed as a joint research project between the Massachusetts Institute of Technology and Digital Equipment Corporation's System Research Center. David Evans was the primary designed and developer of LCLint. John Guttag and Jim Horning had the original idea for a static checking tool for detecting inconsistencies between LCL specifications and their C implementations. They provided valuable advice on its functionality and design and were instrumental in its development.

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported

Audience

Finance, FP&A, legal and compliance teams, analysts, and any enterprise team that produces number-heavy reports, financial statements, or board documents.

Audience

Development teams interested in a Static Application Security Testing (SAST)

Support

Phone Support Supported
24/7 Live Support Supported
Online Supported

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

API

Offers API Not Supported

API

Offers API Not Supported

Screenshots and Videos

No images available

Screenshots and Videos

No images available

Pricing

No information available.
Free Version Supported
Free Trial Not Supported

Pricing

No information available.
Free Version Supported
Free Trial Not Supported

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation Not Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Company Information

Kanerika
Founded: 2015
United States
kanerika.com

Company Information

University of Virginia
Founded: 2007
United States
splint.org

Alternatives

No Alternatives

Alternatives

david3

david3

Tobit Software
MB&G MobileMap

MB&G MobileMap

Mason Bruce & Girard
david.net

david.net

2R Software GmbH
Oscar

Oscar

Oscar McMaster

Categories

Proofreading Supported

Categories

Integrations

C Not Supported
C++ Not Supported
MATLAB Not Supported

Integrations

C Supported
C++ Supported
MATLAB Supported
Claim Mike and update features and information
Claim Mike and update features and information
Claim Splint and update features and information
Claim Splint and update features and information